html, body, h1, h2, h3, h4, div, p {
  margin: 0;
  padding: 0;
  font-family: "Source Serif Pro", serif; }

html {
  background-color: #dcf0f0;
  color: black;
  font-size: 38px;
  line-height: 1.6em;
  letter-spacing: 0px;
  font-stretch: normal;
  text-decoration: none;
  overflow: hidden; }

body {
  position: relative;
  border: 2px solid gray;
  background-color: white;
  border-radius: 15px;
  padding: 30px;
  padding-left: 80px;
  margin: 30px;
  width: calc(1920px - 30px * 3 - 80px );
  height: calc(1080px - 30px * 4 ); }

ul, ol {
  margin: 0; }

ul {
  list-style-type: none; }

a {
  text-decoration: none; }

h1 {
  margin-top: 10px;
  margin-bottom: 40px;
  margin-left: -50px;
  font-size: 200%;
  font-weight: 400;
  color: #5599FF; }

h2 {
  font-size: 110%;
  font-weight: 600;
  margin-top: 25px; }

.hidden {
  display: none; }

#toc {
  font-size: 60%;
  line-height: 1.8em;
  width: 650px;
  max-height: 850px;
  right: 50px;
  background-color: rgba(240, 240, 240, 0.95);
  overflow: auto;
  position: absolute;
  top: 50px;
  border: 2px solid black;
  border-radius: 20px;
  padding-top: 0.5em;
  box-shadow: 5px 5px 4px #888888; }

#toc a {
  display: block;
  padding-left: 30px; }

#toc a:hover {
  background-color: rgba(200, 200, 200, 0.3); }

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

nav {
  position: fixed;
  top: 985px;
  /*1000px;*/
  left: 1620px; }

nav div {
  display: inline-block;
  width: 25px;
  height: 50px;
  vertical-align: middle;
  margin-left: 10px; }

.menu {
  width: 35px;
  height: 40px; }

.page {
  color: gray;
  font-size: 80%; }

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

iframe {
  border: 0; }

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