body          { font-family: sans-serif }
h1            { font-family: sans-serif }
h2            { font-family: sans-serif }
h3            { font-family: sans-serif }
a:link        { text-decoration: none; color:blue }
a:visited     { text-decoration: none; color:blue }
a:hover       { text-decoration: underline }
table.disp    { padding-left: 1em }
table.disp th { vertical-align: top; text-align: left; padding-left: 0.5em }
table.disp td { vertical-align: top; text-align: left; padding-left: 0.5em }
div#modified  { font-size: small }