/* CSS is how you can add style to your website, such as colors, fonts, and positioning of your
   HTML content. To learn how to do something, just try searching Google for questions like
   "how to change link color." */

/*body {
  background-color: white;
  color: black;
  font-family: Verdana;
}*/
body {
        margin: 0;
        font-family: Consolas, sans-serif;
        background: #000000;
        }
      /* Layout */
      .container {
        display: flex;
        }
      /* TOC */
      .toc {
        width: 220px;
        position: fixed;
        height: 100vh;
        background: #000000;
        padding: 20px;
        box-sizing: border-box;
        border-right: 1px solid #00FF21;
        }
      .toc h2 {
        font-size: 18px;
        margin-top: 0;
        }
      /* Content */
      .content {
        margin-left: 240px; /* space for TOC */
        padding: 20px;
        }
      section {
        margin-bottom: 60px;
        }
      .center-text {
        text-align: center;
        }
      h1 {
        color: #FFFFFF;
        }
      h2 {
        color: #FFFFFF;
        }
      h3 {
        color: #FFFFFF;
        }
      p {
        color: #FFFFFF;
        }
      ul {
        color: #FFFFFF;
        }
      a {
        text-decoration: none;
        color: #FFFFFF;
        padding: 1px 1px;
        border: 2px solid transparent; /* invisible until hover */
        transition: border-color 0.2s;
        }
      a:hover {
        border-color: #00FF21; /* square outline */
        }
      .highlight {
        text-decoration: underline;
        color: #00FF21;
        }