html {
  background-color: white;
  color: black;
  font-family: "Source Serif Pro", serif;
  font-stretch: normal;
  text-decoration: none;
  width: 100vw;
  height: 100vh;
  margin: 0;
  padding: 0; }

body {
  text-align: justify;
  max-width: 1200px;
  margin: auto;
  line-height: 1.5em;
  margin-top: 2em;
  margin-bottom: 2em; }

ul, ol {
  margin: 0; }

ul {
  list-style-type: none; }

a {
  text-decoration: none; }

h1 {
  font-size: 160%;
  color: darkblue;
  font-variant: small-caps; }

h2 {
  font-size: 130%;
  font-weight: 600;
  margin-top: 50px;
  color: darkblue;
  font-variant: small-caps; }

h3 {
  font-size: 120%;
  font-weight: 400;
  font-style: italic;
  color: darkblue;
  margin-top: 25px; }

.hidden {
  display: none; }

#toc {
  position: fixed;
  overflow: auto;
  height: 100%;
  left: 0;
  top: 0;
  width: 250px;
  border-right: 1px solid black;
  background-color: #f8f8f7;
  font-size: 0.8em;
  padding-top: 2em; }

#toc div {
  margin: 1em; }

#toc a {
  display: block;
  color: darkblue; }

#toc a:hover {
  color: red; }

#toc a.current-page {
  font-weight: bold;
  color: blue; }

#main-content-margin {
  margin-left: 260px;
  margin-right: 2em; }

.code pre {
  font-family: "Source Code Pro", sans-serif;
  font-size: 0.8em;
  line-height: 1.3em; }

iframe {
  border: 0; }

/*# sourceMappingURL=main.css.map */