

      table.testlist {
        border: black;
        border-width: 1px;
      }

      table.grammars th,
      table.commands th,
      able.attrs th,
      table.testlist th {
        background-color: rgb(180, 255, 180);
        font-size: 10pt;
        vertical-align: top;
      }
      table.grammars td,
      table.commands td,
      table.attrs td,
      table.testlist td {
        /* background-color: rgb(234,255,234); */
        font-size: 10pt;
        vertical-align: top;
      }

      table.