body {font-family: georgia, "times new roman", serif;
      color: #000000;
      background: #ffffff;
      margin: 0px;
      padding-left:15px;
     }

a:link    {color: #0000ff;background:transparent;
           text-decoration:underline;}
a:visited {color: #800080;background:transparent;
           text-decoration:underline;}
a:hover   {color: #ffffff; background: #000080;
           text-decoration:none;}
a:active  {color: #ffa500;background:transparent;
           text-decoration:underline;
           }

a:link img, a:visited img, a:hover img, a:active img  {border-width: 0; border-color: #ffffff; background: #ffffff}

h1, h2, h3, h4, div.header, p.nav, p.pathnav {font-family: verdana, sans-serif;}
h1, h2, h3, h4 {color: #000080; background: #ffffff;}

h1 {font-size: 1.7em; margin-top:0em; margin-bottom:0.5em;}
h2 {font-size: 1.2em; margin-top:1em; margin-bottom:0.3em;}
h3 {font-size: 1em; margin-top:1em; margin-bottom:0.3em;}
p, ul, dl {margin-top:0.5em; margin-bottom:0.5em;}


div.header p {font-size: 0.9em;
           font-weight: bold;
           }
div.header h1, div.header p
          {margin-bottom: 0em; margin-top:0em;
           color:#ffffff; background: #000080;
           margin-left:-15px;
           padding-left:15px;
           }

p.nav {background:#c0c0c0; color:#000000;
       font-weight:bold;
       margin-left:-15px;
       padding-left:15px;
       margin-top:0em;
       font-family: verdana, sans-serif;
      }

p.pathnav {
       font-weight:bold;
       margin-top:0em;
       }

div.first {width:48%; float: left; clear:both;}
div.second {width:48%; float: right;}

dt {margin-bottom: 0em;
    line-height:1.2em;
    font-weight:bold;
    }
dd {line-height:1.2em;
    margin-left: 8em;
    margin-top:-1.2em;
    margin-bottom:0.5em;}

div.summary, p.summary {border:thin solid #c0c0c0;
                        margin-right:15px;}
p.code {margin-right: 15px;}
code {font-face: 'courier new', monospace;
      font-size: 1em;}