* {
  margin: 0;
  padding: 0;
  box-sizing: border-box;
}
body {
  width: 100%;
  font-family: Arial, Helvetica, sans-serif;
  display: flex;
  flex-direction: column;
  justify-content: center;
  align-items: center;
  background-color: rgb(240, 240, 245);
}
#dark-mode-toggle {
  position: absolute;
  z-index: 2;
  top: 15px;
  right: 15px;
  font-size: clamp(0.8rem, 3vw, 1rem);
}
#back-to-top {
  display: none;
  visibility: hidden;
  opacity: 0;
}
#back-to-top.active {
  display: block;
  visibility: visible;
  opacity: 1;
  position: fixed;
  bottom: 15px;
  right: 15px;
}
#back-to-top.active button {
  width: 115px;
  height: 35px;
  border: none;
  padding: 2px 2px 2px 4px;
  font-size: 1rem;
  background-color: rgb(60, 100, 200);
  color: white;
  text-shadow: 1px 1px 1px rgb(0, 40, 140);
}
#back-to-top.active #button-text {
  display: flex;
  justify-content: space-around;
  align-items: center;
}
header {
  width: 100%;
  margin-top: 40px;
  margin-bottom: 4vh;
  font-size: clamp(0.8rem, 3vw, 1.4rem);
  text-align: center;
}
hr {
  width: min(100%, 800px);
  margin-bottom: 20px;
  justify-self: center;
}
#container {
  display: flex;
  flex-direction: column;
  justify-content: center;
  align-items: center;
  width: min(700px, 80vw);
}
main {
  width: 100%;
}
#table-of-contents ol {
  margin-left: 3.5vw;
  margin-top: 2vh;
}
#table-of-contents .level-1 {
  font-size: 1rem;
}
#table-of-contents .level-2 {
  font-size: 0.9rem;
}
#table-of-contents .level-3 {
  font-size: 0.8rem;
}
#table-of-contents .level-4 {
  font-size: 0.7rem;
}
#container h2 {
  text-align: center;
  margin-bottom: 20px;
}
.section-h2 {
  margin-bottom: 30px;
  margin-top: 30px;
}
.section-h3 {
  margin-bottom: 25px;
  margin-top: 25px;
}
.section-h4 {
  margin-bottom: 20px;
  margin-top: 20px;
}
.section-h5 {
  margin-bottom: 15px;
  margin-top: 15px;
}
pre {
  width: 90%;
  margin-left: 5%;
}
main ol,
main ul {
  width: 50vw;
  margin-left: 5vw;
  margin-top: 2vh;
}
li {
  margin-bottom: 1vh;
}
code.inline {
  font-weight: bold;
  border: 1px dotted blue;
  padding: 1px 2px;
}
p {
  margin-top: 10px;
  margin-bottom: 10px;
  padding-left: 10px;
}
p.eg {
  margin-left: 10%;
}
footer {
  margin-bottom: 60px;
}
/********************************
  * HIGHLIGHT.JS STYLE OVERRIDES *
  ********************************/
.hljs-comment {
  color: seagreen;
}

@media (max-width: 640px) {
  #container {
    width: 90%;
  }
  pre {
    width: 96%;
    margin-left: 2%;
  }
  main ol,
  main ul {
    width: 80%;
    margin-left: 10%;
    margin-top: 2vh;
  }
}