body {
      font-family: "Noto Serif", serif;
      font-size: 0.85em;
   }

   p {
      text-align: center;
   }

   button {
      font-family: "Noto Sans", sans-serif;
      font-size: 0.85em;
   }

   table {
      border-collapse: collapse;
      width: 95%;
   }

   td {
      border: 1px solid black;
      text-align: left;
      padding: 0.5em;
   }

   th {
      font-family: "Noto Sans", sans-serif;
   }

   #main-title {
      margin-top: 0.7em;
   }

   .header {
      font-family: "Noto Sans", sans-serif;
      text-align: center;
      font-weight: bold;
      margin-top: 2.5em;
      margin-bottom: 0.5em;
   }

   .global-buttons {
      display: flex;
      justify-content: center;
      margin-top: 1em;
      margin-bottom: 1em;
   }

   .global-buttons button {
      margin: 0 0.5em;
   }

   .verb-input {
      font-family: "Noto Sans", sans-serif;
      display: flex;
      justify-content: center;
      align-items: flex-start;
      margin-top: 2em;
   }

   #verb-user-input {
      font-family: "Noto Serif", serif;
      margin-left: 0.5em;
      font-size: 1em;
   }

   #verb-input-label {
      font-size: 1.2em;
   }

   #verb-input-button {
      margin-left: 0.1em;
      font-size: 1em;
   }

   #success-icon {
      visibility: hidden;
      color: green;
      font-size: 1.2em;
      margin-left: 0.3em;
   }

   .table-container {
      display: flex;
      justify-content: center;
      align-items: flex-start;
   }

   .table-column {
      display: flex;
      justify-content: center;
      width: 15em;
   }

   .table-label td {
      border: 1px solid white;
      text-align: right;
      padding-right: 0px;
   }

   .table-label th {
      visibility: hidden;
   }

   .table-label-right td {
      visibility: hidden;
      border: 1px solid white;
      text-align: left;
      padding-left: 0px;
   }

   .table-label-right th {
      visibility: hidden;
   }

   .validate-buttons {
      display: flex;
      justify-content: center;
      margin-top: 0.3em;
   }

   .validate-buttons button {
      margin: 0 0.1em;
   }

   .mismatch {
      background-color: #ffcccc;
   }

   .match {
      background-color: #e2fab5;
   }