<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/* PR: reduced standard font size */
.reveal {
  font-size: 32px;
}

.moveup {
  margin-top: -1em;
}

.fixedfont {
  font-family: monospace !important;
}
.fixedfontsmall {
  font-family: monospace !important;
  font-size: 75% !important ;
}

.def {
  color: green;
}

 summary.question::-webkit-details-marker {
  display: none;
}
summary.question:after {
    /* background: #da291c;
    border-color: #da291c;
    border-radius: 15px;
    content: "+";
    color: #fff; 
    font-size: 1em;
    font-weight: bold;
    margin: -2px 10px 0 0;
    padding: 1px 0 3px 0; 
    text-align: center; */
    float: left;
    width: 30px;
    margin-top: -0.5em;
    content: url("../img/lightbulb.png"); 
    margin-right: 1.25em;
}
.answer {
  background-color: bisque;
  max-width: 80%;
  margin-left: 3em !important;
  padding: 0.25em !important;
  font-family: monospace !important;
  font-size: 75% !important ;
  box-shadow: 0 4px 8px 0 rgba(0, 0, 0, 0.2), 0 6px 20px 0 rgba(0, 0, 0, 0.19);
}
/* details[open] summary ~ * {
  animation: sweep .5s ease-in-out;
} */
details.inline {
  margin-left: 1em;
  display: inline !important;
}
details.inline[open] {
  display: inline !important;
}
/* @keyframes sweep {
  0%    {opacity: 0 }
  100%  {opacity: 1 }
} */

/* details[open] &gt; summary:after {
    content: "&lt;";
} */

.reveal ul&gt;li {
  margin: 10px 0 10px 0;
}
.reveal ol&gt;li {
  margin: 10px 0 10px 0;
}
.reveal ul ul li {
  margin: 0 0 0 0;
}
.reveal ol ul li {
  margin: 0 0 0 0;
}
.reveal ol ol li {
  margin: 0 0 0 0;
}

.reveal ul.nobullets, ul.nobullet, ul.nob {
  list-style: none;
  margin-left: 0;
}

dt {
  font-weight: normal !important;
  margin-top:0.5em !important;
}

dt.highlight, p.highlight, dt.highl, p.highl, .highl {
  background-color: lightgray;
  padding: 0.1em;
}
.nomargins {
  margin: 0 !important;
}

.green {
  color: green;
}
.red {
  color: red;
}
.blue {
  color: blue;
}


p, details, aside, blockquote, .statement { 
  text-align: left;
}

.emph {
  font-style: italic !important;
}

.tiny {
  font-size: 50% !important;
}
.verysmall {
  font-size: 65% !important;
}
.small {
  font-size: 75% !important;
}
.smaller {
  font-size: 85% !important;
}
.large {
  font-size: 125% !important;
}
.verylarge {
  font-size: 150% !important;
}
.huge {
  font-size: 200% !important;
}
/* remove blue border around &lt;details&gt; when clicking: */
summary{
  outline:none;
}
h3 {
  text-align: left;
}
/* Used for double-column layout: */
.colcont {
  display: flex;
  justify-content: space-between; 
  /* justify-content: space-around; */
  /* flex-flow: row wrap; */
  align-items: flex-start;
}
/* Automatically adjusted (i.e. possibly asymmetric) column width */
.col {
  flex: auto;
  /* align-self: center; */
  margin: 0.25em !important;
}
/* Equal-width double column */
.col.equal {
  flex: 1;
  /* padding: 0.5em !important; */
}

/* The next 3 are used for overriding the vertical alignment of double columns */
.colcont.middle {
  align-items: center;
}
.colcont.top {
  align-items: flex-start;
}
.colcont.bottom {
  align-items: flex-end;
}
div.top {
  align-self: flex-start;
}
div.middle {
  align-self: center;
}
div.bottom {
  align-self: flex-end;
}
div.stretch {
  align-self: stretch;
}
/* left-align lists */
.reveal ul, ol, dl {
  display: block !important;
  text-align: left;
  margin: 0 0 0 1em; 
}
.reveal ol {
  display: block !important;
  text-align: left;
  margin: 0 0 0 1em; 
}
/* give lemmas/definitions/theorems a lightblue background */
.statement, .box {
  background-color: aliceblue;
  max-width: 90% !important;
  box-shadow: 0 4px 8px 0 rgba(0, 0, 0, 0.2), 0 6px 20px 0 rgba(0, 0, 0, 0.19);
}

.statement {
  border-style: solid !important;
  border-width: 1px !important;
  border-color: black !important;
  padding: 0.5em !important;
  margin: 0.5em !important;
}

.box {
  border-style: hidden !important;
  border-radius: 5px !important;
  display: -webkit-inline-box !important;
  padding: 0.15em !important;
}

/* required to avoid the "overly-italic" math fonts inside blockquote environments: */
.MathJax {
  font-style: normal !important;
}

/* PR: use this class to create a top-aligned slide */
.reveal section.top {
  /* Slide-specific vertical centering override */
	top: 0 !important;
}

.reveal h2 {
    margin-bottom: 0.5em;
    color: darkslategray;
}

.reveal section .middle {
  vertical-align: middle !important; }

.reveal section .bottom {
  vertical-align: bottom !important; }

.reveal section .left {
  text-align: left !important; }

.reveal section .center {
  text-align: center !important; }

.reveal section .right {
  text-align: right !important; } 
  
.reveal img {
  border: none !important;
}  

.reveal div.title_background {
  background-color:rgba(255,255,255,0.9); 
  padding:0.5em;
  box-shadow: 0 4px 8px 0 rgba(0, 0, 0, 0.2), 0 6px 20px 0 rgba(0, 0, 0, 0.19);
}

.reveal .speaker-notes:before {
  content: "Notes";
}

.reveal a.ext {
  text-decoration: underline;
  text-decoration-style: dashed;
}



.emphcol {
  color:green;
}

span.tooltip {
  text-decoration: underline;
  text-decoration-style: dotted;
}

code {
  line-height: 1.5em !important;
}

/* PR: don't show bullet if it's replaced by $\Rightarrow$ */
li.arrow {
    list-style: none;
    margin-left: -1.5em;
}
li.nob {
    list-style: none;
    margin-left: -1.5em;
}


/* PR: Add "onlycurrent" class to fragments that should not take up any space while not shown */
.fragment.onlycurrent.visible:not(.current-fragment) {
    display: none;
    height:0px;
    line-height: 0px;
    font-size: 0px;
}

@media print {
  .backgrounds {
    background-color: white; } 
  * {
    color: black !important; 
    /* background-image: none; */
  }
  code, pre {
    background-color: white !important;
  }
  .reveal div.title_background {
    /* background-color:rgba(0,0,0,0.6);  */
    background-color:white !important;
  }
  .slide-background-content {
    /* background-image: none !important; */
  }
  audio {
    display:none;
  }
}
</pre></body></html>