/* 

These styles are not in good shape and and needs work

Niels, May 2005.

*/


/*
   ----------------------------------------------------------------------
   Main header and footer bars
   ----------------------------------------------------------------------
*/

.header_bar, .footer_bar {
    color: #ffffff;
    background-color: #003366;
    border-color: #336699 #000033 #000033 #336699;
    border-style: solid;
    border-width: 4px;
    white-space: nowrap;
}

img.header_bar, img.footer_bar, .error_bar {
    padding-left: 0.5em;
    padding-right: 0.5em;
}

.header_bar {
    font-size: 18px;
    font-weight: bold;
}

.info_report_key {
    color: #ffffff;
    background-color: #4477aa;
    border-color: #6699cc #003366 #003366 #6699cc;
}