font-size: 120%; font-weight: bold }
h4 { font-size: 110%; font-weight: bold}
.tocline { list-style: none; }

table {
  margin: auto;
  width: 100%;
  background-color: rgb(180,180,180);
  border: black;
  border-width: 1px;
}
th { background-color: rgb(180,255,180); }
th.rotate {
  /* adjust as necessary... */
  height: 180px;
  white-space: nowrap;
}
th.rotate>div {
  transform: 
    /* translate(25px, 51px) 
        rotate(315deg);
    */
    rotate(90deg);
  width: 30px;
}
th.rotate>div>span {
  /* bord