table.navigation td {
  padding-left: 10px;
  padding-right: 10px;
}

table.navigation th {
  text-align: right;
}

table td.number {
  text-align: right;
}

table.instances td {
  padding-left: 5px;
  padding-right: 5px;
}

table.instances tr:nth-child(even) { background-color: #eeeeee; }

table.cayley { border-collapse: collapse; }
table.cayley td, table.cayley th { font-weight: normal; text-align: left; border: 1px solid black; padding: 5pt; }

table.cayley td.idempotent, table.cayley th.idempotent { font-weight: bold; }

#plainrules { display: none; }
#plainreduced { display: none; }

pre { background-color: #eeeeee; }
table.normalform {
  background-color: #cee7f0;
  padding: 5px;
}

table.normalform th {
  text-align: right;
  white-space: nowrap;
  vertical-align: baseline;
  padding-right: 10px;
}