n: 0;
        padding: 0.2em 0.4em;
      }
      h2 {
        font-size: 150%;
      }
      h3 {
        font-size: 120%;
        font-weight: bold;
      }
      h4 {
        font-size: 110%;
        font-weight: bold;
      }
      .tocline {
        list-style: none;
      }

      table {
        margin: auto;
        width: 100%;
        background-color: rgb(180, 180, 180);
        border: black;
        border-width: 1px;
      }
      th {
        background-color: rgb(180, 255, 180);
      }
    