/* Basic stuff */
body { font-family: tahoma; }
h3 { margin-top: 2em; }

/* Tables (e.g. schedule on index.html) */
table { border-collapse: collapse; }
td { border: 1px solid #aaa; }
table { border: 2px solid black; }
tr.newunit td { border-top: 2px solid black; }
td { padding: 4px; }

/* Definition lists (e.g. examples on ann.html) */
dl { border: 1px solid #ddd; margin-left: 5em; margin-right: 5em; }
dd { margin-top: .5em; }