/* Formatting all paddings, margins and borders to 0 for compatibility */
* {
    padding: 0;
    margin: 0;
    border: 0;
}

/* basic options, sets default font size as 1em */
body {
    background-color: #ffffff;
    color: #000000;
    font-family: "Trebuchet MS", Arial, Tahoma, Helvetica, sans-serif;
    font-size: 1em;
}

/* small menu on the top of the page */
#topmenu {
    display: none;
}

/* main menu */
#mainmenu {
    display: none;
}

/* submenu */
#submenu {
    display: none;
}

/* news section on front page */
#newsbar a , #newsbar a_visited {
    text-decoration: underline;
    color: #000000;
}

/* the area for all the content of the site */
#text_content {
    text-align: justify;
}

/* site headline formatting */
h1 {
    padding-top: 20px;
    font-size: 1.4em;
    color: #000000;
}
h2 {
    font-size: 1.0em;
    color: #000000;
}
/* smaller padding-top when there is no submenu under mainmenu */
h1#no_menu {
    padding-top: 20px;
    font-size: 1.4em;
    color: #000000;
}
p {
    padding-top: 1.2em;
    line-height: 1.6em;
    font-size: 0.8em;
    color: #000000;
}

/* use the larger workpackages image for print */
#workpackages_image {
    display: none;
}
#workpackages_print {
    width: 100%;
    margin-top: 15px;
}

/* options for a table located inside text_area */
#text_area table {
    font-size: 0.8em;
    text-align: left;
    margin-top: 13px;
}
#text_area th {
    background-color: #eeeeee;
    border: 1px dotted #aaaaaa;
    padding: 5px;
}
#text_area td {
    border: 1px dotted #cccccc;
    padding: 5px;
}

/* links within text */
#text_area a, #text_area a:visited {
    text-decoration: underline;
    color: #000000;
}

/* footer options, the bottom logos are also located inside the footer */
#logos {
    display: none;
}