body {
  background-color: white;
  font-family: 'Helvetica Neue', Helvetica, sans-serif;
  font-size: 14px;
  line-height: 1.5em;
  letter-spacing: 0.05em;
  color: #333;
}

blockquote {
  border-left: 5px solid #888;
  margin-left: 0;
  padding-left: 2em;
  color: #888;
}

a, a:link, a:visited {
  text-decoration: none;
}

h1, h2, h3, h3, h4, h5, h6, h7 {
  font-size: 14px;
  text-transform: uppercase;
  color: #666;
  margin: 0;
  margin-top: 4em;
  margin-bottom: 0em;
  font-weight: normal;
  letter-spacing: 0.15em;
  line-height: 1.2em;
}

h1 {
  font-size: 25px;
  margin-top: 120px;
  margin-bottom: 10px;
}

h2 {
  font-size: 16px;
}

code {
  padding: 1px 4px;
}

pre {
  padding: 5px 20px;
}

code, pre {
  overflow: auto;
  background-color: #F9F9F9;
  border: 1px solid #DDD;
  border-radius: 5px;
  color: #888;
  font-size: 12px;
  line-height: 1.5em;
}

#table-of-contents, #main-text, #figure-list {
  position: absolute;
  height: 100%;
  overflow: auto;
}

#table-of-contents {
  width: 250px;
  border-right: 1px solid #CCC;
  padding: 20px 50px 0px 20px;
}

#main-text {
  width: 450px;
  padding-left: 20px;
  padding-right: 50px;
}

#figure-list {
  border-left: 1px solid #CCC;
}

#navbar {
  position: absolute;
  overflow: hidden;
  height: 25px;
  line-height: 25px;
  width: 100%;
  white-space: nowrap;
}

#toc-trigger {
  float: left;
  cursor: pointer;
  margin-right: 1em;
  margin-left: 0em;
  padding-top: 5px;
  padding-bottom: 5px;
  height: 15px;
}

#hamburger {
  width: 25px;
  height: 15px;
  background: linear-gradient(to bottom, #333, #333 20%, white 20%, white 40%, #333 40%,
    #333 60%, white 60%, white 80%, #333 80%, #333);
}

#navbar {
  border-bottom: 1px solid #CCC;
  padding-top: 10px;
  padding-bottom: 10px;
  padding-left: 20px;
}

#table-of-contents {
  font-size: 12px;
  font-weight: normal;
  line-height: 1.5em;
  color: #666;
}
#table-of-contents a {
  text-decoration: none;
}
#table-of-contents a:link, #table-of-contents a:visited {
  color: #666;
}
#table-of-contents .toc h1, #table-of-contents .toc h2 {
  text-transform: uppercase;
  margin-top: 4px;
}
#table-of-contents .toc h3, #table-of-contents .toc h4, #table-of-contents .toc h5,
#table-of-contents .toc h6, #table-of-contents .toc h7 {
  font-style: italic;
}
#table-of-contents .toc a {
  display: block;
}
#table-of-contents .toc a.active {
  background-color: #EEF;
  margin-left: -20px;
  padding-left: 20px;
  margin-right: -50px;
  padding-right: 50px;
}

#main-text a.figlink.active {
  padding: 4px 0px;
  background-color: #EEF;
}
#main-text a.figlink.active:link, #main-text a.figlink.active:visited {
  text-decoration: underline;
}
#main-text .timestamp {
  margin-top: 6em;
  text-align: right;
  border-top: 1px solid #CCC;
}
#main-text .fig-in-text {
  font-size: 12px;
  line-height: 1.2em;
  background-color: #EEF;
  color: #333;
  padding: 10px 10px;
}
#main-text .fig-in-text code, #main-text .fig-in-text pre {
  font-size: 12px;
  text-transform: none;
}
#main-text .fig-in-text img {
  padding-top: 10px;
}
#main-text .fig-in-text pre, #main-text .fig-in-text code {
  border: 1px solid #BBC;
  background-color: #E3E3FF;
  color: #666;
}
#main-text .fig-in-text img {
  width: 100%;
}

#figure-list .fig-in-figlist {
  font-size: 12px;
  line-height: 1.2em;
  padding: 20px 50px 20px 20px;
}
#figure-list .fig-in-figlist code, #figure-list .fig-in-figlist pre {
  font-size: 12px;
  text-transform: none;
}
#figure-list .fig-in-figlist img {
  padding-top: 10px;
}
#figure-list .fig-in-figlist.active {
  background-color: #EEF;
  color: #333;
}
#figure-list .fig-in-figlist.active pre, #figure-list .fig-in-figlist.active code {
  border: 1px solid #BBC;
  background-color: #E3E3FF;
  color: #666;
}

@media (max-width: 1200px) {
  #menu-trigger {
    visibility: visible;
  }
  #table-of-contents {
    z-index: 500;
    left: 0;
  }
}

@media (max-width: 480px) {
  #menu-trigger {
    visibility: visible;
  }
  h1 {
    font-size: 20px;
    margin-top: 70px;
  }
  .fig-in-text {
    display: block;
  }
}