body, td, th
{ color: #000033;
  background: #e7eeff;
  font-family: helvetica, arial, sans-serif;
  margin-left: 16px; }

li { margin-left: 0; }

h1, h2, h3, h4, h5, h6 { font-family: helvetica, arial, sans-serif; }
h1, h2 { color: #110033; margin-top: 16px; }
h3, h4 { color: #220066; /* margin-top: 0; */ }

/*.w { color: #cc0000; font-style: normal; } */
/* .ok { color: #00ff00; font-style: normal; } */

a         { color: #336699; text-decoration: none; }
a:link    { color: #0000ff; }
a:visited { color: #000099; }
a:active  { color: #ff0000; background: #77eeff; }
a:hover   { color: #000033; background: #ffffff; text-decoration: underline; }

b   { color: #000033; }
b.b { color: #000033; }
b.r { color: #660000; }
b.s { color: #777777; }


#nobr { white-space: nowrap; } 
hr { size: 1; color: blue; }

em.file   { color: green; font-style: normal; font-size: 131%; font-family: monospace; }
em.input  { color: red;   font-style: normal; font-size: 131%; font-family: monospace; }
em.output { color: blue;  font-style: normal; font-size: 131%; font-family: monospace; }
em.text   { color: black; font-style: normal; font-size: 131%; font-family: monospace; }
em.key  { color: #426890; font-style: normal; font-size: 131%; font-family: monospace; }
em.proc { color: #426890; font-style: normal; font-size: 131%; font-family: monospace; }
em.src  { color: #426890; font-style: normal; font-size: 150%; font-family: monospace; }
em.tt   { color: #426890; font-style: normal; font-size: 131%; font-family: monospace; }
em.xxx  { color: #426890; font-style: normal; font-size: 80%; }
em.ku   { color: #426890; font-style: normal; font-size: 80%; }
em.ka   { color: #426890; font-style: normal; font-size: 80%; }
em.kn   { color: #ff9933; font-style: normal; font-size: 80%; }
em.kx   { color: #cc0000; font-style: normal; font-size: 80%; }
em.m    { color: #426890; font-style: normal; font-weight: bold; }
em.w    { color: #ff9933; font-style: normal; }
em.ww   { color: #ff0000; font-style: normal; }
em.ok   { color: #00bb00; font-style: normal; }

p.mottoalt { color: #426890; text-align: right; font-style: italic; }
p.motto { color: #000000; text-align: left; font-style: normal; }