2 background-color: white
;
3 font-family: sans-serif
;
11 a:link
, a:visited
, a:hover
, a:active
{
13 text-decoration: none
;
22 list-style-type: none
;
30 /* ensure anchors don't vanish below the fixed header */
36 background-color: #005a9c;
51 border: 3px solid
#005a9c;
53 margin: 0 2em 1em 2em;
56 div
.note p
, div
.note h4
{
61 background-color: #eee;
62 border: 1px solid black
;
64 margin: 0 2em 1em 2em;
72 blockquote span
.literal
{
73 font-family: monospace
;