/* Tables */
    table {
      font-family: Times;
      font-size: 12pt;
      margin-left: auto;
      margin-right: auto;
      border-collapse: collapse;
    }
    table th,
    table td {
      border: 1px solid black;
      padding: 5px;
    }
    table th {
      text-align: left;
    }
    table td {
      text-align: right;
    }
    table.tool {
      font-family: system-ui;
      font-size: 18pt;
      color: blue;
      margin-left: auto;
      margin-right: auto;
      border-collapse: collapse;
    }
    table.tool th,
    table.tool td {
      border: none;
      padding: 5px;
      text-align: left;
    }