body { background-color: white; color: black; margin: 8px; }

.navbar { background-color: lightblue; }
.footer { text-align: right; font-size: small; }

h3 { margin-top: 2em; border-bottom: 2px solid lightblue; }
.navbar + h3 { margin-top: 1em; }

table.t { border: 2px solid lightblue; }
table.t th { background-color: lightblue; color: black; }

.S0  { color: red; font-weight: bold; }
.S1  { color: red; }
.enh { font-style: italic; }
.fixed td { background-color: #ddd; text-decoration: line-through; }

a img { border-style: none; }

/* code { color: #cc0000; } */

p.inclusion { color: #aaa; }
p.inclusion a:link { color: #aaf; }    /* normally #0000EE */
p.inclusion a:visited { color: #cae; } /* normally #551A8B */

/* Bookmarklets (from CSS for bookmarklets site) */
@media all { /* Hide from NS4, which makes it a block and not a link if I add these */
 a.bml { border:1px outset #ddd; padding: 1px; vertical-align: 1px; }
}
a.bml { background: #ddd; text-decoration: none;  font-family: sans-serif; font-size: 80%; color: darkgreen; }