* {
      box-sizing: border-box
    }

    body {
      font-family: "Fira Sans", sans-serif;
      font-size: 12pt;
      line-height: 1.5em;
      background-color: #090926;
      max-width: 1500px;
      margin: auto;
    }

    hr {
      margin: 0 auto;
      margin-top: 10px;
      margin-bottom: 10px;
      width: 70%;
      border: 0;
      height: 1px;
      background-image: linear-gradient(to right, rgba(255, 255, 255, 0), rgba(11, 0, 0, 0.75), rgba(255, 255, 255, 0));
    }

    h3 {
      font-size: 14pt;
      font-weight: normal;
      font-variant-caps: normal;
    }

    h2 {
      font-size: 16pt;
      font-weight: normal;
    }

    h1 {
      font-size: 19pt;
      font-weight: normal;
    }

    /* Style the tab */
    .tab {
      float: left;
      color: white;
      width: 20%;
      border: 0pt dotted #f1f1f1;
      border-top-width: 1pt;
    }

    /* Style the buttons inside the tab */
    .tab button {
      display: block;
      background-color: inherit;
      font-size: 14pt;
      color: white;
      padding: 18px 16px;
      width: 100%;
      border: none;
      text-align: center;
      cursor: pointer;
      transition: 0.3s;
      border: 0pt dotted #f1f1f1;
      border-left-width: 1pt;
    }

    /* Change background color of buttons on hover */
    .tab button:hover {
      background-color: #bddbdb;
      color: black;
    }

    /* Create an active/current "tab button" class */
    .tab button.active {
      background-color: #b3ccff;
      color: black;
    }

    /* Style the tab content */
    .tabcontent {
      float: left;
      padding: 5px 50px 10px 60px;
      width: 80%;
      height: auto !important;
      background-color: #f1f1f1;
      text-align: justify;
    }

    a {
      color: #0a3594;
      font-variant: bold;
      text-decoration: none;
    }

    a[href^="http://"], a[href^="https://"] {
      color: #0a3594;
    }

    a:not([href^="http://"]):not([href^="https://"]) {
      color: #1b8a5a;
      text-decoration: underline;
    }

    @media (max-width: 700px) {
      .tab, .tabcontent {
        float: none;
        width: 100% !important;
      }
      .tab {
        display: flex;
        flex-wrap: wrap;
      }
      .tab button {
        width: auto;
        flex: 1 1 auto;
      }
      .tabcontent {
        padding: 15px 20px;
      }
    }



    .archive-list {
      max-width: 900px;
      margin: 0 auto;
    }
    .archive-entry {
      padding: 6px 0 22px 22px;
      margin-bottom: 10px;
      border-left: 3px solid #0a3594;
      border-bottom: 1px solid #e3e3e3;
    }
    .archive-entry:last-child {
      border-bottom: none;
      margin-bottom: 0;
    }
    .archive-period {
      font-size: 78%;
      letter-spacing: 0.06em;
      text-transform: uppercase;
      color: #0a3594;
      font-weight: 600;
      margin-bottom: 3px;
    }
    .archive-heading {
      margin: 2px 0 4px 0;
      font-size: 108%;
      font-weight: bold;
    }
    .archive-venue {
      font-style: italic;
      color: #555;
      margin-bottom: 10px;
      font-size: 92%;
    }
    .archive-desc {
      margin: 0;
    }
    .archive-desc ol {
      margin: 10px 0 0 0;
      padding-left: 22px;
    }
    .archive-desc li {
      margin-bottom: 8px;
    }

    .illustration img {
      width: 100%;
      display: block;
    }

    .paper {
      background: #e1e7f7;
    }

    .hidden_row {
      display: none;
    }

    .paper-btn-cell {
      display: flex;
      flex-direction: column;
      align-items: stretch;
      justify-content: center;
      padding: 0;
      gap: 7px;
    }

    .paper button {
      display: block;
      background: #e1e7f7;
      box-sizing: border-box;
      flex: 1;
      width: 100%;
      text-align: center;
      cursor: pointer;
      transition: 0.3s;
      border: 1pt solid #f1f1f1;
      min-height: 40px;
    }

    .paper button:hover {
      background-color: #b3ccff;
      color: black;
    }

    .paper button.success {
        background: #bddbdb !important;
    }

    .border-top td, .border-top th {
      border-top: 1px dashed #0a3594;
    }

    .paper table {
      width: 100%;
      border: 0px;
      border-color: #f1f1f1;
      border-collapse: collapse;
    }

    .paper tr {
      border-top: 2px solid #f1f1f1;
    }

    .paper p {
      margin-left: 8%;
      margin-right: 8%;
    }