body {background-color: white; color: rgb(0,0,51); font-family: "Times New Roman, Times, serif";}

a {text-decoration: none;}
a:link        {color: rgb(153,0,0);}
a:hover  {text-decoration: underline;}
a:active {text-decoration: underline;}
a:visited {color: rgb(153,0,0);}
a.plain  {color: black;}
a:hover.plain {text-decoration: none;}
a:active.plain {text-decoration: none;}
a:visited.plain {color: black;}
img.plain {border: 0;}

p  {margin-top: 0.5em; margin-bottom: 0.5em;}
h1 {margin-top: 0; margin-bottom: 0;}
h2 {text-align: center; font-size: large; margin-top: 3em; background-color: rgb(235,225,220); width:100%;
    padding-top: 1em; padding-bottom: 1.5em; padding-left: 1em; padding-right: 1em;
    text-transform: uppercase; font-family: "Verdana, Arial, Helvetica, sans-serif";}
h3 {font-size: large; font-weight: bold; font-variant: small-caps; font-family: "Verdana, Arial, Helvetica, sans-serif";
    margin-top: 2em;}
li {list-style-position: outside; list-style-type: square;}
ul {margin-top: 0; margin-bottom: 0;}

.header   {border-style: none none solid none; border-width: 0 0 medium 0;
           border-color: rgb(153,102,102);
           padding: 0 0 0.2em 0; margin: 0 0 1em 0;}           
.area     {background-color: rgb(235,225,220); padding: 0.4em;}
.addr     {font-style: italic;}
.enum li  {list-style-type: decimal;}

.left {float: left;}
.right {float: right;}
ul.task {margin-left: 1em; font-weight: bold; color: rgb(160,0,0); font-family: verdana, arial, helvetica, sans-serif; font-size: smaller;}
h2, h3 {clear: both;}

table img {margin: 2px;}

pre {font-family: "Courier New, Courier, monospace"; font-size: smaller;
     background-color: rgb(228,240,240); margin-top: 0.8em; margin-bottom: 0.8em;
     padding: 1em;
     }


.modified {font-family: "Arial, Helv, Helvetica, sans-serif"; font-size: xx-small; margin-top: 3em;text-align: right;}