dl+dl { margin-top: 1em; }
dd+dt { margin-top: 1em; }
ul.toc li { list-style-type: none; }
body>dl>dt { font-weight: bold; }
thead { background-color: silver; }
td, th, tr { border: solid black 1px;}
/* gsee is used annexes to offset "See notes" */
.gsee { position: absolute; right: 0; }
#disclaimer { border: double red 5px; padding: 1em;}
.nonterminal { font-style: italic; }
.grammar dt { font-weight: normal !important; }