body {font-family: arial, sans-serif;
      color: #000000;
      background: #ffffff;
      margin: 0px;
      padding-right: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;
           }

h1, h2, h3, h4, p.subhead {font-family: verdana;}
h1, h2, h3, h4 {color: #000080; background: #ffffff;}

h1 {font-size: 3em; margin-top:0em; margin-bottom:0.5em;}
h2 {font-size: 1.3em; margin-top:1em; margin-bottom:0.3em;}
h3 {font-size: 1em; margin-top:1em; margin-bottom:0.3em;}
h4 {font-size: 0.8em; margin-top:1em; margin-bottom:0.3em;}
p, ul, dl {margin-top:0.5em; margin-bottom:0.5em;}


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

p.subhead span {font-family: serif;
                color: #00ff00;
                background: #000080;
               }
p.nav {background:#c0c0c0; color:#000000;
       font-weight:bold;
       margin-right:-15px;
       padding-right:15px;
       margin-top:0em;}
p.subnav {
       font-weight:bold;
       margin-top:0em;
       }

p.recommend , p.sig {display:none;}

p.sig {font-weight:bold;
       padding-top:1em;
       padding-bottom:1em;
       clear: both;}

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

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

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