* {
  margin: 0;
  padding: 0;
  box-sizing: border-box;
  /* border-box makes that width does not include only the content but 
     content + padding + border. Margin is not included. */
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI",
               Roboto, "Helvetica Neue", Arial, sans-serif;
  color: #212121;
}
html, body {
  width: 100vw;
}
header {
  width: 100%;
  height: 12vh;
  border-bottom: 1px solid #e5e5e5;
  box-shadow: 0 2px 4px rgba(0, 0, 0, 0.1);
  background-color: #fafafa;
  display: flex;
  justify-content: center;   
  align-items: center; 
  font-size: 6vh;
} 
.content-wrapper {
  width: 100%;
  display: flex;
}  
nav {
  width: 20vw;
  height: 100vh;
  position: sticky;
  top: 0; /* sticks when header is gone */
  align-self: flex-start; /* required in some flex layouts */
  max-height: 100vh;
  overflow-y: auto;
  background-color: #f4f5fa;
}
main {
  width: 80vw;
  background-color: #fafafa; 
  padding: 5vh 0 5vh 0;
}

/* nav */
nav {
  padding: 2vh 0 12vh 0; /* top right bottom left */
}
nav > section {
  width: 100%;
  margin: 0vh 0 3vh 1vw;
}
nav > section > div { 
  font-size: 2.7vh;
  font-weight: bold;
}
nav > section > ol {
  padding: 0 0 0 1vw;
  list-style-position: inside; /* this makes the index to be inside the ol */
}
nav > section > ol > li {
  margin: 0.5vh 0 0 0;
  font-size: 2.7vh;
}
nav a {
  text-decoration: none; /* no underline normally */
}
nav a:hover {
  text-decoration: underline; /* only underline on hover */
  color: #0070d2;
}

/* main */ 
main > section {
  margin: 0 4vw 0 4vw;
  width: calc(100% - 8vw);
  margin-bottom: 4vh;
}
#about > p {
  margin: 0 0 1vh 1vw;
}
#about > pre {
  margin-left: 2vw;
}
main > section > div {
  width: 100%;
  height: 8vh;
  display: flex;  
  align-items: center; 
  font-size: 4.5vh;
  font-weight: bold;
}
main > section > ol {
  margin: 0 1vw 0 1vw;
  width: calc(100% - 2vw);
  list-style-position: inside;
}
main > section > ol > li {
  width: 100%;
  margin-bottom: 3vh;
}
main > section > ol > li::marker, .li-name {
  font-size: 3.5vh;
}
.li-explanation {
  margin: 0 10vw 0 2vw;
  width: (100% - 12vw);
}
.li-explanation > ul {
  margin-left: 1.5vw;
  width: calc(100% - 1.5vw);
  list-style-position: outside;
  list-style-type: disc;
}
.li-explanation li::marker {
  font-size: 0.6em; /* makes the bullet smaller */
}
.li-name, .li-explanation > p, .li-explanation > ul {
  margin-bottom: 2vh;
}
.li-explanation li {
  margin-bottom: 1vh;
}
main a {
  text-decoration: underline;
  color: #0070d2;
}
pre, code {
  background-color: #eef2f8 !important;
  /* Override the change of font of prism */
  background: #eef2f8 !important;
  color: inherit;
  font-family: inherit !important; 
}
pre[class*="language-"] .token, code[class*="language-"] .token {
  background: #eef2f8 !important;
  /* remove different background color of some elements */
}