body    { background-color:#ffffe0; }

h2      { text-align:center; color:#00c040; }

h3      { color:darkblue; margin:24 0 8; }

a       { text-decoration:none; color:#8000c0; }

a:hover { color:#FF0080; }

b       { color:darkred; }

ol      { line-height:150%;  color:#4000c0; }

li      { line-height:120%; }

p       { line-height:120%; margin:0 2%; }

p.box   {

         font-family:monospace; margin:8 5%;

         border:2 groove; padding:4 10;

         background-color:white;

        }

pre     {

         font-family:monospace; margin:8 5%;

         border:2 groove; padding:3 10;

         color:black; background-color:white;

         line-height:120%; font-size:100%;

        }

address { color:darkblue; font-size:80%; }



.blue   { color:blue; }

.darkblue{ color:darkblue; }

.red    { color:red; }

.darkred{ color:darkred; }

.comment{ color:green; }

.gray   { color:gray; }

.ln150  { line-height: 150%; }