body {
    margin: 0px;
    padding: 0px;
    height: 100vh;
    overflow-y: hidden;
    zoom: 190%;
    font-family: "Open Sans", sans-serif;
}

::-webkit-scrollbar {
    display: none;
}

.markdown-body h1 {
    margin-top: -10px;
    padding-top: -5px;
    font-size: 16pt;
}

#main {
    outline: none;
    margin: 0px;
    padding: 0px;
    height: 100vh;
    overflow-y: hidden;
}

.thought {
    margin-top: 30px;
    font-size : 8pt;
    color: rgb(166, 73, 178);
    font-style: italic;
}

.slider-container {
    margin: 0px;
    padding: 0px;
    outline: none;
    height: 100vh;
    overflow-y: hidden;
}

.sidebar {
    width: 12%;
    height: 50vh;
    float: left;
    padding: 5px 0px 50px 10px;
    margin: 20px 0 0 0;
    overflow-y: scroll;
}

.slides-container {
    margin-left: 0 0 0 5%;
    border: none;
    overflow-y: scroll;
    height: 100vh;
}

.slide {
    padding: 10px 5px 10px 0px;
    margin: 20px;
    display: none;
    line-height: 1.25;
}

.active-slide {
    display: block;
}

#forward-button {
    font-size: 6pt;
    height: 14px;
    position: fixed;
    right: 5px;
    top: 5px;
    cursor: pointer;
    outline: none;
}

#reverse-button {
    font-size: 6pt;    
    height: 14px;    
    position: fixed;
    right: 30px;
    top: 5px;
    cursor: pointer;
    outline: none;
}

#expand-button {
    font-size: 6pt;    
    height: 14px;    
    position: fixed;
    right: 55px;
    top: 5px;
    cursor: pointer;
    outline: none;
}

#sidebar-button {
    font-size: 6pt;    
    height: 14px;    
    position: fixed;
    right: 81px;
    top: 5px;
    cursor: pointer;
    outline: none;
    font-family: "Open Sans", sans-serif;
    color: #888;
}

#sidebar-title:hover {
    color:#555;
}

.title {
    font-size: 6pt;
    border: 1pt solid #fff;
    margin: 0; 
    border-radius: 3px;
    padding: 1px 1px 0px 0;
    font-family: "Open Sans", sans-serif;
    /*background-image: linear-gradient(to top ,#eee, white); */
    color: #999;
    cursor: pointer;
    /*text-align: right;*/
    overflow: hidden;
}

.active-title {
    /* border: 1pt solid #eee !important;*/
    color: #555 !important;
    background: #eef;
    /* font-weight: bold; */
}

.exercise {
    color: #05a  !important;

}

.last_exercise + .title {
    margin-top: 8px;
    padding-top: 2px;
    border-top: 0.75pt solid gray;
}




.title:hover {
    color: #444;
    /* border: 1pt solid #888; */
}

.title:last-child {
    margin-bottom: 15px;
}

.deck {
    font-size: 6pt;
    margin: 0px 0px 0px 0px;
    padding: 1px 0px 1px 0px;
    font-family: "Open Sans", sans-serif;
    cursor: pointer;
    text-align: left;
    color: rgb(51,51,51)
}

.active-deck {
    color: #555 !important;
    background: #eef;
}

table, tr, td, img {
  background-color: rgba(0,0,0,0) !important;
  border: none !important;
}

td {
    padding: 10px !important;
}

blockquote {
    margin-left: 50px !important;
    margin-right: 150px !important;
}

.lean {
    padding: 0px !important;
}

pre {
    padding: 4px 4px 4px 4px !important;
    margin-left: 20px;
    margin-right: 40px;
}

.deck-title {
    font-size: 6pt;
    margin: 0px 2px 0px 0px;
    padding: 1px 2px 1px 2px;
    font-family: "Open Sans", sans-serif;
    cursor: pointer;
    text-align: left;
    color: rgb(51,51,51)
}

.deck-number {
    font-size: 7pt;
}



.hoverable {
  display: inline-block;
  background-color: #eee;
  color: #333;
  padding: 4px 4px;
  border-radius: 1px;
  font-family: monospace;
  font-size: 3pt;
  position: relative;
  cursor: pointer;
  margin: 0 2px;
}


/* .hoverable::after {
  display: hidden;
  content: attr(data-tooltip);
  position: absolute;
  left: 0;
  top: 100%;
  background-color: #999;
  color: #fff;
  padding: 4px 8px;
  border-radius: 4px;
  white-space: nowrap;
  font-size: 3pt;
  opacity: 0;
  pointer-events: none;
  transform: translateY(4px);
  transition: opacity 0.2s ease-in-out;
  z-index: 100;
} */

.hoverable:hover::after {
  opacity: 1;
}

#infoview {

}

.turnstile {
    color: blue;
    font-weight: bold;
}

.variable-name {
    color: #ec0;
    font-weight: bold;
}

.hidden-var {
    color: #aaa;
    /*font-weight: bold;*/
}

.case {
    color: green;
    font-weight: bold;
}

.infoview-title {
    color: #aaa;    
}

.infoview-button {
    color: #aaa;    
    border: none;
    background: none;
    font-size: 6pt;
    position: absolute;
    top: 5px;
    right: 5px;
    cursor: pointer;
}

.small {
    font-size: 7pt;
    padding: 0;
    margin: 0;
}

.highlight {
    color: purple;
    padding: 0;
    margin: 0;    
}

.condensed {
  border-collapse: collapse; /* Removes the gap between cell borders */
  border-spacing: 0;         /* Ensures no extra space between cells */
}

.condensed th, 
.condensed td {
  padding: 1pt !important;            /* Removes space inside the cells */
  margin: 0     !important;            /* Reset, though margins usually don't affect td */
  border: 1pt solid #eee !important; 
}

.infoview-container {
    position: fixed;
    top: 0;
    right: 0;
    background: #fff;
    border: 1px solid #ccc;
    border-radius: 5px;
    margin: 10px;
    padding: 10px;
    box-shadow: 0 4px 8px rgba(0,0,0,0.2);
    z-index: 1000;
    font-family: SFMono-Regular, Consolas, Liberation Mono, Menlo, Courier, monospace;
    font-size: 8pt;
    color: #444;
    width: 30%;
    display: none;
}

.active-infoview {
    display: block;
}

.infoview-clear {
  display: inline-block;
  padding: 4px 8px;
  background-color: #eee;
  border: 1px solid #ccc;
  cursor: pointer;
  /* z-index: 1001; */
}

.section {
    font-size: 6pt;
    margin: 0px 0 5px 2px;
    padding: 2px 0 2px 0;
    font-family: "Open Sans", sans-serif;
    cursor: pointer;
    text-align: left;    
    overflow-x: hidden;
}

.none {
    color : #259;
}

.toc-section-title {
    font-weight: bold;
}

ol {
    padding-left: 16px !important;
}

.exercise-num {
    color: black;
    background: yellow;
    padding: 2px;
}


pre:has(> code:empty) {
  display: none;
}

.fn {
    font-size : 8pt;
    position: absolute;
    bottom : 10px;
    color: #aab;
    padding-right: 20px;
}

.first-slide {
    font-family: 'Montserrat', sans-serif;
    position: absolute;
    top: 50%;
    left: 50%;
    transform: translate(-50%, -50%);
    text-align: center;
}

.first-slide .course {
    font-size: 8pt;
    color: #888;
}

.first-slide .slide-title {
    font-size: 40pt;
    color: #000;
    line-height: 0.9;
    padding: 20px 0 20px 0;
    
}

.first-slide .author {
    font-size: 8pt;
    color: #888;
    margin-top: 10px;
}

.img-up-right {
    position: absolute;
    top: 60px;
    right: 10px;
    mix-blend-mode: multiply;
}

.uc {
    font-family: 'Courier New', Courier, monospace;
    font-weight: bold;
    font-size: 20pt;
    margin-top: 10px;
}

.uc {
    font-family: monospace;
    font-weight: normal;
    font-size: 20pt;
    margin-top: 10px;    
}

.uc .def {
    color: #00c;
}

.uc .slidedeck {
    color: black;
    text-decoration: underline #c22 wavy;  
    text-underline-offset: 3pt;   
}

.uc .eq {
    color: black;
}

.uc .sorry {
    color: #c00;
}