/*style for links:*/
A
{
    color : #000000;
    text-decoration : none;
    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*/
}
/*general styles:*/
BODY
{
    font-family : Arial, Helvetica,Times New Roman, Times;
    font-size : 14px;
    font-weight : normal;
    background-color : #FFFFFF;
    width : 650; /*width of the page*/
}
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
{
    font-style : italic;
}
/*style for pages with a high amount of text (mostly static pages)*/
.textpages
{
    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(s) for headlines:*/
.headline
{
    font-size : 18px;
}
.sectionheader
{
    font-weight : bold;
}
.subsectionheader
{
    font-weight : bold;
    text-decoration : none;
}
.listheader
{
    font-style : italic;
}
/*styles for the tables*/
.tableheader
{
    background-color : #FFFFFF;
    font-style : italic;
    border-style : solid;
    border-color : #000000;
    border-top-width : thin;
    border-left-width : 0px;
    border-right-width : thin;
    border-bottom-width : 0px;
    font-size : 14px; /*for IE*/
}
.tablebody
{
    background-color : #FFFFFF;
    border-style : solid;
    border-color : #000000;
    border-top-width : thin;
    border-left-width : 0px;
    border-right-width : thin;
    border-bottom-width : 0px;
    font-size : 14px; /*for IE*/
}
.tableborder
{
    background-color : #FFFFFF;
    border-top-width : thin;
    border-style : solid;
    border-color : #000000;
    border-top-width : 0px;
    border-left-width : thin;
    border-right-width : 0px;
    border-bottom-width : thin;
}
/*dynamical hight for newer browsers*/
.windowHeight
{
    height : 100%;
}