*, :before, :after {
  box-sizing: border-box;
  }

:root {
  --iv-navy-blue: #041e4f;
  --iv-blue: #0303cb;
  --iv-red: #bc0c0c;
  --iv-gray: #dddddd;
  --iv-light-blue: #30cef9;
  --p-gray: #f6f6f6;
}

.body {
  background-color: var(--p-gray);
  display: flex;
  flex-direction: row;
  font-family: "Roboto Mono", monospace;
  color: var(--iv-navy-blue);
  line-height: 1.6;
  overflow-x: hidden;
}

.body nav {
  display: flex;
  flex-direction: column;
  flex: auto;
  width: 22vw;
  border-right: solid;
  border-color: var(--iv-light-blue);
  align-items: center;
  gap: 15px;
  position: fixed;
  overflow-y: scroll;
  overflow-x: hidden;
  top: 0;
  bottom: 0;
  left: 0;
  scrollbar-color: var(--iv-light-blue) #11111100;
  scrollbar-width: thin;
}

.body nav h1 {
  font-weight: 700;
  font-size: 1.6rem;
  text-align: center;
  padding: 15px;
  color: var(--iv-navy-blue);
}

span {
  font-weight: bold;
}

.body ul {
  list-style: none;
  padding-left: 0;
  width: inherit;
}

.body nav a {
  display: block;
  border-top: 1px solid;
  border-color: var(--iv-gray);
  padding: 15px 15px;
  margin: 0;
  width: auto;
  text-decoration: none;
  color: var(--iv-blue);
}

.bold {
  font-weight: 500;
}

.top-anchor {
  display: none;
}

.note {
  display: block;
  background-color: var(--iv-gray);
  margin: left;
  border-left: solid 5px var(--iv-light-blue);
  width: 60vw;
  padding: 1rem;
}

.main-doc {
  display: flex;
  flex-direction: column;
  position: absolute;
  margin-left: 25vw;
  padding: 2rem 2rem 2rem 2rem;
  text-align: left;
  font-weight: 200;
  width: 75vw;
}

.waze {
  fill: #37474f;
}

.main-section {
  margin: 15px;
  margin-right: 10rem;
}

.main-section h2 {
  font-weight: 700;
  font-size: 1.8rem;

}

.main-section img {
  display: block;
  max-width: 38vw;
  margin: 1rem auto;
  margin-top: 1rem;
}

.main-section pre {
  background-color: #a699d8;
  padding: 1rem 1rem;
  width: max-content;
  position: relative;
  margin: auto;
  margin-top: 1rem;
}

.main-section code {
  background-color: #a699d8;
  padding: 0.4rem;
  width: max-content;
}

.main-section dl {
  padding: 1.6rem 0;
}

.main-section dt {
  font-weight: 600;
  font-size: 1.2rem;
}

.main-section ul {
  list-style-type: disc;
  padding: 0 4rem;
}

.main-section th,
td {
  border: solid 1px #5028f0;
  padding: 0.6rem;
}

.main-section a {
  color: #5028f0;
  text-decoration: none;
  font-weight: 600;
}

.footnote {
  color: #5028f0;
  text-decoration: none;
  font-weight: 600;
  text-align: end;
  padding-top: 5rem;
}

table {
  border-collapse: collapse;
  text-align: left;
  width: 50vw;
  font-size: 10px;
}
th, td {
  padding: 8px;
}
.title {
  text-align: center;
  font-weight: bold;
}

/* @media screen and (max-width: 600px) {
  .body {
    flex-direction: column;
  } */

  /* .body nav {
    width: 100%;
    overflow: scroll;
    height: auto;
    z-index: 1;
  } */

  /* .top-anchor {
    display: block;
    text-align: right;
    margin-top: 2rem;
  } */

  /* .note {
    width: 70vw;
    margin: auto 1rem auto 0;
  } */

  /* .main-doc {
    margin: 800px 0 0 0;
    text-align: justify;
    width: 90vw;
    z-index: 2;
    left: 0;
    background-color: #efefef;
  } */

  /* .main-section {
    margin: 2rem 2rem 2rem 0;
  } */

  /* .main-section h2 {
    text-align: left;
    margin-left: 0;
  } */

  /* .main-section img {
    max-width: 300px;
    max-height: 100vh;
    margin: auto;
    display: block;
  } */

  /* .main-section pre {
    max-width: 300px;
    padding-right: 0;
    white-space: pre-wrap;
    margin: 1rem auto;
    overflow-x: scroll;
    width: -moz-max-content;
    width: -webkit-max-content;
    display: block;
  } */

  /* .main-section ul,
  ol {
    padding-right: 0;
    padding-left: 0;
    margin-left: 1rem;
  } */

  /* .main-section dd {
    margin-left: 1rem;
  } */

  /* .main-section table {
    overflow-x: auto;
    margin: auto;
    text-align: left;
    max-width: -moz-fit-content;
    display: block;
  }
} */