body {
   padding-top   : 0px;
   padding-right : 0px;
   padding-bottom: 0px;
   padding-left  : 0px;
   font-family   : "Verdana", "Sans Serif";  /*Arial, Tahoma, 'MS Sans Serif';*/
   font-size     : 80%;
   background-color: #ffffff;
   color: #000000;
}

td.topmenu {
   width: 25%;
   border-left : 1px solid  #9fb9dc;
   border-right : 1px solid  #9fb9dc;
   border-bottom : 1px solid  #9fb9dc;
   font-size: 80%;
   vertical-align: middle;
   horizontal-align: middle;
   text-align: center;
}

td.leftmenu {
   border-top : 1px solid  #9fb9dc;
   margin-right: 2px;
   font-size: 80%;
   vertical-align: middle;
   horizontal-align: middle;
   text-align: left;
   text-indent: .5em;
   width: 130px;
}

td.menutitle {
   border-top : 1px solid  #ffffff;
   padding-top: 2px;
   padding-bottom: 10px;
   font-size: 85% ;
   vertical-align: middle;
   horizontal-align: middle;
   text-align: left;
   text-indent: 0.1em;
   font-weight: bold;
   color: #356991; 
}

td.content {
   border-left: 1px solid  #9fb9dc;
   margin: 0;
   padding-left: 1em;
   padding-right: 1em;
   padding-bottom: 1em;
}

td.footer {
   border-top : 1px solid  #9fb9dc;
   border-bottom : 1px solid  #9fb9dc;
   padding    : 1px;
   font-size  : 10px;
   padding-left: 1em;
}

td.lcol {
   padding    : 1px;
   font-size  : 90%;
   font-family   : Courier;
}

td.rcol {
   padding-left: 1em;
   font-size  : 90%;
}

a.menu {
   font-weight: normal;
   text-decoration: none;
   color: #000000;
   display: block;
   vertical-align: middle;
}

a.menu:hover {
   color: #000000;
   background-color:#DBE2ED;
   text-decoration: none;
   display: block;
   font-weight: bold;
}


a.history {
   vertical-align: middle;
   horizontal-align: middle;
   text-align: left;
   text-decoration: underline;
   font-weight: bold;
   color: #356991; 
   display: block;
   cursor:pointer;
}

a.history:hover {
   color: #000000;
   background-color:#DBE2ED;
   text-decoration: none;
   display: block;
   font-style:bold;
   font-weight: bold;
   letter-spacing:0.1em;
   cursor:pointer;
}

h1 { margin: .5em 0 .5em 0; font-size: 1.9em; color: #555555; }
h2 { margin: .3em 0 .3em 0; font-size: 1.4em; color: #555555; }
h3 { margin: .2em 0 .2em 0; font-size: 1.2em; color: #555555; }
h4 { margin: .0em 0 .1em 0; font-size: 1.0em; color: #555555; }

p { 
   font-weight: normal;
   font-size: 80%;
   margin-top: 0px;
   padding: 0px;
   margin-bottom: .5em;
   line-height: 1.3em;
}

p.indent1 {
   padding-left: 1em;
   font-size   :  85%;
}

p.indent2 {
   padding-left: 2em;
}

p.italic { 
   font-weight: normal;
   font-family   : Times New Roman;
   font-size     : 110%;
   font-style    : italic;
   margin-top: 0px;
   padding: 0px;
   margin-bottom: .5em;
   line-height: 1.2em;
}

pre { 
   width: 100%;
   background: #e0eaf4; 
   padding-top: 0px;
   padding-left: .5em;
   padding-right: 0px;
   padding-bottom: 0px;
   margin-bottom: 14px;
}

ol { 
   font-weight: normal;
   font-size  : 85%;
   margin-top: 0px;
   text-indent: -.2em;
   margin-bottom: .5em;
}

ul { 
   font-weight: normal;
   font-size  : 85%;
   margin-top: 0px;
   text-indent: -.2em;
   margin-bottom: .5em;
}

table.text { 
   font-weight: normal;
   font-size: 90%;
   margin-top: 0px;
   padding: 0px;
   margin-bottom: .5em;
   line-height: 1.3em;
}