/* ---------------------------------------------------------------- */
/* h1, h2 and h3 color #000066 and font sans-serif                  */

h1 {
   color:       black;
   text-align:  left;
   font-family: sans-serif;
   font-style:  normal;
   font-weight: bold;
}

h1.center {
   color:       black;
   text-align:  center;
   font-family: sans-serif;
   font-style:  normal;
   font-weight: bold;
}

h2 {
   color:       #000066;
   text-align:  left;
   font-family: sans-serif;
   font-style:  normal;
}

h3 {
   font-family:      sans-serif;
   color:            #000066;
}

h3.bluebar {
   text-align:  left;
   font-family:      Arial, Helvetica, sans-serif, Verdana;
   font-size:        15px;
   padding-top:      1px;
   padding-bottom:   2px;
   padding-left:     4px;
   color:            white;
   background-color: #000066;
}

/* ---------------------------------------------------------------- */
/* img definitions                                                  */

a:link img, a:visited img {
   border-style: none;
}

a img {
   color: white;
}

/* ---------------------------------------------------------------- */
/* div and td used in the headers                                          */

p.head {
   color:       black;
   text-align:  left;
   font-size:   30px;
   font-family: sans-serif;
   font-style:  normal;
   font-weight: bold;
}

td.head {
   text-align:       center;
}
/* ---------------------------------------------------------------- */
/* ul and li used in the horizontal menu                            */

ul.menu {
   padding-left:     0;
   margin-left:      0;
   background-color: #000066;
   color:            white;
   text-decoration:  none;
   float:            left;
   width:            100%;
   font-family:      Arial, Helvetica, sans-serif, Verdana;
   font-weight:      bold;
   display:          inline;
}

ul.menu a {
   background-color: #000066;
   color:            white;
   float:            left;
   text-decoration:  none;
   border-right:     1px solid #ffffff;
}

li.menu {
   display:          inline;
}

li.menu a {
   padding:          0.2em 1em;
   background-color: #000066;
   color:            white;
   text-decoration:  none;
   float:            left;
   border-right:     1px solid #ffffff;
}

li.menu a:hover {
   background-color: #bbbbbb;
   color: #fff;
}

ul.menu a:hover {
   background-color: #bbbbbb;
   color: #ffffff;
}

li.menu-active {
   display:          inline;
}

li.menu-active a {
   padding:          0.2em 1em;
   background-color: #bbbbbb;
   color:            white;
   text-decoration:  none;
   float:            left;
   border-right:     1px solid #ffffff;
}

li.menu-active a:hover {
   background-color: #bbbbbb;
   color: #fff;
}

/* ---------------------------------------------------------------- */
/* td, ul and li used in the vertical menu                          */

td.menu-lateral {
   vertical-align:   top;
   font-family:      sans-serif;
   text-align:       left;
   font-size:        13px;
   width:            9em;
   padding-left:     1em;
   padding-right:    1em;
   color:            #000000;
}

td.menu-lateral a:hover {
  color:             #bbbbbb;
}

ul.navlist {
   padding-left:  0;
   margin-left:   0;
   width:         9em;
   color:         navy;
}

li.navlist {
   list-style:     none;
   margin:         0;
   padding-top:    0.1em;
   padding-bottom: 0.1em;
   border-bottom:  1px solid #000066;
   text-align:     left;
   color:          #000066;
   font-size:      14px;
   font-family:    sans-serif;
   font-style:     normal;
   font-weight:    bold;
}

li.navlist a {
   display:          block;
   padding:          3px;
   color:            #000066;
   background-color: white;
   text-decoration:  none;
}

/* ---------------------------------------------------------------- */
/* td's used in the page's bodies                                   */

td.body {
   vertical-align:   top;
   font-family:      sans-serif;
   text-align:       left;
   font-size:        15px;
   padding-left:     1em;
   padding-right:    1em;
   color:            black;
}

td.rootkit {
   vertical-align:   top;
   text-align:       left;
   width:            33%;
}

/* ---------------------------------------------------------------- */
/* list element with no style                                       */

li.nostyle {
   list-style: none;
   margin: 0;
   padding: 0;
}

/* ---------------------------------------------------------------- */
/* anchor colors                                                    */

a:link {
   color: blue;
}

a:hover {
   color: red;
}

a:active {
   color: red;
}

/* ---------------------------------------------------------------- */
/* div and address used in the footer                               */

div.foot {
   margin-top:       1em;
   padding-top:      .5em;
   padding-bottom:   .5em;
   border-top:       2px solid #000066;
}

address img {
  float: right;
  width: 88px;
}