/*style for links:*/
A
{
    color : #000000;
    font-size : 14px; /*for IE (IE doesn't take over the font-size from body)*/
}
.hiddenLink /*none underlined link*/
{
    color : #000000;
    text-decoration : none;
    font-size : 14px; /*for IE*/
}
.shownLink
{
    color : blue;
    text-decoration : none;
    font-size : 14px; /*for IE*/
}
.highlightedFactor
{
    color : #FFFFFF;
    background-color : blue;
    text-decoration : none;
    font-size : 14px; /*for IE*/
}
/*general styles:*/
BODY
{
    font-family : Arial, Helvetica,Times New Roman, Times;
    font-size : 14px;
    font-weight : normal;
    background-color : #FFFFFF;
}
INPUT
{
    font-size : 14px; /*for IE*/
}
TEXTAREA
{
    font-size : 14px; /*for IE*/
    font-family : Arial, Helvetica,Times New Roman, Times;
    font-size : 14px;
    font-weight : normal;
}
SELECT
{
    font-size : 14px; /*for IE*/
}
TD
{
    font-size : 14px; /*for IE*/
}
/*style for highlighted text*/
.highlightedText
{
    color : red;
}
/*style for pages with a high amount of text (mostly static pages)*/
.textpages
{
    width : 95%;
    line-height: 20px;
    margin: 0px;
    padding: 5px;
    border-width: 0px;
    text-align : justify;
    font-size : 14px; /*for IE*/
}
/*style for pages with functional content (dynamic pages)*/
.functionalpages
{
    margin: 0px;
    padding: 5px;
    border-width: 0px;
    font-size : 14px; /*for IE*/
}
/*style for the head-banner of the pages:*/
.header
{
    font-size : 36px;
    background-color : #ECBE04;
}
/*style(s) for headlines:*/
.headline
{
    font-size : 20px;
}
/*styles for the navigation-menu:*/
.menu
{
    background-color : #ECBE04;
}
.submenu
{
    background-color : #FFFF66;
}
.highlightedmenu
{
    background-color : #FF9933;
}
.menuLines
{
    background-color : #FFFFFF;
}
.sectionheader
{
    background-color : #F1B46F;
}
.subsectionheader
{
    font-weight : bold;
    text-decoration : none;
}
/*styles for the tables*/
.tableheader
{
    background-color : #B0C4DE;
    font-size : 14px; /*for IE*/
}
.tablebody
{
    background-color : #FFFFFF;
    font-size : 14px; /*for IE*/
}
.tableborder
{
    background-color : #4682B4;
}
/*dynamical hight for newer browsers*/
.windowHeight
{
    height : 100%;
}