:root {
    --r-link-color: #7ABAFF;
    --r-background-color: #EDEDED;
    --r-heading1-size:1.5em;
    --r-heading3-size:1.3em;
    --r-main-font-size: 35px;
    --r-heading-color: var(--r-link-color);
    --r-heading1-size: 3em;
    --r-heading2-size: 1.5em;
    --r-heading3-size: 1.5em;
    --r-heading4-size: 1.2em;
    --r-ulille-green: #32A68C;
    --r-ulille-red: #FC535C;
    --r-ulille-red-rgb: 252, 83, 92;
}

body {
	display: grid;
	align-items: center;
	font-family: 'Jost';
}


h2 .math {
    text-transform: none !important;
}

.xlarge {
	width: 120%;
	left: 0;
}

.small {
    font-size: 70%;
}

.flex{
    display: flex;
    flex: 1 1 0;
    justify-content: space-evenly;
    /* grid-template-columns: 30% 30% 30%; */
    align-items:center;
}

.flexi {
    max-width: 25%;
}

.ref {
    font-style: italic;
    font-size: 75%;
}

table.has-fragments td:not(.permanent):not(:last-child):not(.current-fragment)::before {
  display: inline-block;
  width: 0.5em;       /* Match the width of the "▸" symbol */
  content: "";        /* Default: no symbol */
  visibility: hidden; /* Take up space but don’t show anything */
}

table.has-fragments td:not(.permanent):not(:first-child):not(.current-fragment)::after {
  display: inline-block;
  width: 0.5em;       /* Match the width of the "▸" symbol */
  content: "";        /* Default: no symbol */
  visibility: hidden; /* Take up space but don’t show anything */
}

td.point-right::before {
    content: "▸" !important;
    visibility: visible !important;
}

td.point-left::after {
    content: "◂" !important;
    visibility: visible !important;
}

table.has-frags td:not(.permanent):not(:last-child):not(.current-fragment)::before {
  display: inline-block;
  width: 0.5em;       /* Match the width of the "▸" symbol */
  content: "";        /* Default: no symbol */
  visibility: hidden; /* Take up space but don’t show anything */
}

table.has-frags td:not(.permanent):not(:first-child):not(.current-fragment)::after {
  display: inline-block;
  width: 0.5em;       /* Match the width of the "▸" symbol */
  content: "";        /* Default: no symbol */
  visibility: hidden; /* Take up space but don’t show anything */
}

td.fragment.custom.point-right.stay-after.visible::before {
    visibility: visible;
    content: "▸";
}

td.fragment.custom.start.point-right:not(.visible)::before {
    visibility: visible !important;
    content: "▸" !important;
}

td.fragment.point-right.current-fragment::before {
    content: "▸";
}

td.fragment.point-left.current-fragment::after {
    content: "◂";
}

td.permanent.point-left::after {
    content: "◂";
}

.flex-3{
    display: grid;
    justify-content: space-evenly;
    grid-template-columns: 30% 30% 30%;
    align-items: start;
}

#bob > table {
  align-self: start; /* 👈 force individual tables to top-align */
  margin: 0;         /* remove margin if any */
  padding: 0;
}

.flex-3-mid-small{
    display: grid;
    justify-content: space-evenly;
    grid-template-columns: 45% 10% 45%;
    align-items:center;
}

.flex-2{
    display: grid;
    justify-content: space-evenly;
    grid-template-columns: 50% 50%;
    align-items:center;
}

.separated > div:last-child {
    border-left: 4px solid var(--r-link-color);
}

.top {
    background-color: #CCE9E2;
    padding: 2pt 5pt;
    border: 1pt solid black;
}

.top::before {
    content: "⊤";
}

.important {
    color: var(--r-ulille-red);
    font-weight: bold;
}

.vflex{
    display: flex;
    flex-direction: column;
    justify-content: space-evenly;
}

.ir-stack {
    display: inline-grid;
    grid-template-rows: auto;
    width: 100%;
}

.ir-stack > * {
    grid-row: 1;
    grid-column: 1;
}

.underline {
    text-decoration: underline;
}

.theorem::before {
    content: "Theorem";
    color: var(--r-heading-color);
    font-weight: bold;
}

.theorem {
    margin-top: 40px;
    padding: 20px;
    border: 3pt solid var(--r-heading-color);
    border-radius: 50px;
}

.definition {
    margin-top: 40px;
    padding: 20px;
    border: 3pt solid var(--r-ulille-red);
    border-radius: 25px;
}


.theorem  .math {
    color: var(--r-ulille-green);
}

.emph-math .math{
    color: var(--r-ulille-green);
}

.align-left {
    text-align: left;
    margin-left: 10%;
}

.subtitle-holder{
    text-align: left;
    margin-left: 10%;
}

.subtitle {
    font-weight: bold;
    font-size: var(--r-heading4-size);
}

.cross-out.fragment {
     border: 2pt solid transparent;
    border-radius: 20pt;
    padding: 3pt;
}

.cross-out.fragment.visible:not(.current-fragment) {
    border: 2pt solid rgba(var(--r-ulille-red-rgb), 0.5);
    border-radius: 20pt;
    padding: 3pt;
    background: repeating-linear-gradient(45deg, transparent, transparent 35px, rgba(var(--r-ulille-red-rgb), 0.5) 35px, rgba(var(--r-ulille-red-rgb), 0.5) 70px);
}

.xsmall {
    font-size: 60%;
}

#tab-relation td {
    text-align: center;
}

.color-math  .math {
    color: var(--r-ulille-green);
}


table tr.sum {
    font-weight: bold;
}


table caption {
    font-style: italic;
}


tr.fragment.highlight-tuple.current-fragment td {
    font-weight: bold;
    font-size: 120%;
    color: var(--r-ulille-green);
}

.reveal .slides section .fragment.highlight-blue.visible {
	color: var(--r-heading-color);
	font-weight: bold;
}

.reveal .slides section .fragment.highlight-red.visible {
	  color: var(--r-ulille-red);
	  font-weight: bold;
}

.reveal .slides section .fragment.highlight-green.visible {
	  color: var(--r-ulille-green);
	  font-weight: bold;
}

.reveal .slides section .fragment.highlight-current-green.current-fragment {
	  color: var(--r-ulille-green);
	  font-weight: bold;
}

.reveal .slides section .fragment.highlight-row {
    color: var(--r-heading-color);
}

.reveal .slides section .fragment.disappear.visible:not(.current-fragment){
    display: none;
}

.reveal .slides section .fragment.fade-out.visible{
	display: none;
}

#title-slide div.institute-block{
    vertical-align: bottom;
    align-items: bottom;
}

.special {
    background-color: var(--r-heading-color);
}

#title-slide p.institute {
    text-align: left;
}

#title-slide .place {
    color: var(--r-heading-color);
    font-weight: bold;
}

#title-slide span.author.principal {
    text-decoration: underline;
    color: var(--r-ulille-green);
}

#title-slide .date {
    font-style: italic;
}

div .bordered.fragment.visible:not(.current-fragment) {
    border: 3pt solid var(--r-heading-color);
    border-radius: 50px;
}

.reveal img {
	max-width: none;
	max-height: none;
}

.reveal p > a {
    text-decoration: underline;
    font-weight: bold;
}

/* .reveal code { */
/*     color: burlywood; */
/* } */

.remark::before {
    content:"▸ ";
}

.desc {
    color: var(--r-link-color);
    font-weight: bold;
}

div.example {
    border: 2pt solid;
    border-color: var(--r-link-color);
    padding: 10pt;
    align-items: left;
    border-radius: 10pt;
    font-style: italic;
}

.question{
    font-style: italic;
    color: #FF6941;
}

.invisible {
    visibility: hidden;
}

.warning {
	color: darksalmon;
	font-weight: bold;
}

.correct {
    color: var(--r-ulille-green);
    font-weight: bold;
}

.incorrect {
    color: var(--r-ulille-red);
    font-weight: bold;
}

.reveal i.fa {
	font-family: FontAwesome;
	font-style: normal;
}

.reveal div.footnote-holder {
    margin: auto;
    width: 80%;
    text-align: left;
    font-size: 70%;
    border-top: 1pt solid white;
}

tr.strikethrough td {
    text-decoration: line-through 8pt var(--r-ulille-green);
}

.sourceCode[data-code-frame="osx"], .sourceCode[data-code-frame="osx-grey"] {
	/*-webkit-box-shadow: 0 6px 30px rgba(0, 0, 0, 0.3);*/
	/*box-shadow: 0 6px 30px rgba(0, 0, 0, 0.3);*/
	  border-radius: 6px;
    border-color: var(--r-link-color);
}

.sourceCode[data-code-frame="osx"] .sourceCode-preview, .sourceCode[data-code-frame="osx"] pre, .sourceCode[data-code-frame="osx"] code, .sourceCode[data-code-frame="osx-grey"] .sourceCode-preview, .sourceCode[data-code-frame="osx-grey"] pre, .sourceCode[data-code-frame="osx-grey"] code {
	  border-radius: 6px;
    border-color: var(--r-link-color);
}

.sourceCode[data-code-frame="osx"] code, .sourceCode[data-code-frame="osx-grey"] code {
	  padding: 15px;
    background-color: var(--r-background-color)/*#191919*/;
}

.sourceCode[data-code-frame="osx"] code:before, .sourceCode[data-code-frame="osx-grey"] code:before {
	content: '';
	display: block;
	height: 32px
}

.sourceCode[data-code-frame="osx"] pre:after, .sourceCode[data-code-frame="osx-grey"] pre:after {
	content: '';
	display: block;
	position: absolute;
	top: 0;
	left: 0;
	right: 0;
	height: 32px;
	background-image: url(data:image/svg+xml;base64,PD94bWwgdmVyc2lvbj0iMS4wIj8%2BCjxzdmcgeG1sbnM9Imh0dHA6Ly93d3cudzMub3JnLzIwMDAvc3ZnIiB4bWxuczp4bGluaz0iaHR0cDovL3d3dy53My5vcmcvMTk5OS94bGluayIgdmlld0JveD0iMCAwIDYyIDEyIiB3aWR0aD0iNjIiIGhlaWdodD0iMTIiPgoJPGNpcmNsZSBjeD0iNiIgY3k9IjYiIHI9IjYiIGZpbGw9IiNmZjVhNTIiPjwvY2lyY2xlPgoJPGNpcmNsZSBjeD0iMjYiIGN5PSI2IiByPSI2IiBmaWxsPSIjZTZjMDI4Ij48L2NpcmNsZT4KCTxjaXJjbGUgY3g9IjQ2IiBjeT0iNiIgcj0iNiIgZmlsbD0iIzU0YzIyYiI%2BPC9jaXJjbGU%2BCjwvc3ZnPg%3D%3D);
	background-position: 14px 14px;
	background-repeat: no-repeat;
	background-color: dimgray;
}

.sl-block-content[data-code-frame="osx-grey"] pre:after {
	background-image: url(data:image/svg+xml;base64,PD94bWwgdmVyc2lvbj0iMS4wIj8%2BCjxzdmcgeG1sbnM9Imh0dHA6Ly93d3cudzMub3JnLzIwMDAvc3ZnIiB4bWxuczp4bGluaz0iaHR0cDovL3d3dy53My5vcmcvMTk5OS94bGluayIgdmlld0JveD0iMCAwIDYyIDEyIiB3aWR0aD0iNjIiIGhlaWdodD0iMTIiPgoJPGNpcmNsZSBjeD0iNiIgY3k9IjYiIHI9IjYiIGZpbGw9IiM5OTkiPjwvY2lyY2xlPgoJPGNpcmNsZSBjeD0iMjYiIGN5PSI2IiByPSI2IiBmaWxsPSIjOTk5Ij48L2NpcmNsZT4KCTxjaXJjbGUgY3g9IjQ2IiBjeT0iNiIgcj0iNiIgZmlsbD0iIzk5OSI%2BPC9jaXJjbGU%2BCjwvc3ZnPg%3D%3D)
}