</* Used everywhere in the body when not specified differently */
body {
    background-color:#ffffff;
    color:#000000; /* text color */
    margin-left: 0px;
    margin-right: 0px;
    padding:0pt;
}

/* Browser specific (not valid) styles to make preformatted text wrap */                
pre {
    white-space: pre-wrap;       /* css-3 */
    white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
    white-space: -pre-wrap;      /* Opera 4-6 */
    white-space: -o-pre-wrap;    /* Opera 7 */
    word-wrap: break-word;       /* Internet Explorer 5.5+ */
}

a:link, a:visited, a:active {
    color:#444;
    text-decoration:underline;
}

#title h1 {
    font-size:larger;
    padding-left:2em;
    background-color:#3E6A82;
    color:white;
}

#description {
    font-style:oblique;
    padding:1em;
}

#frame {
    overflow:hidden; /* make sure the frame container has the same height as its children */
}

.clear {
    clear:left;
}


/* Used for the content box */
#content {
    background-color:#3E6A82;
    color:#FFFFFF; /* text color */
    padding:10pt;
    width:auto;
    margin-left:19px;
    margin-right:19px;
    overflow:hidden; /* make sure this (especially the background) has the same height as its children */
}

#content a {
    color:white;
}

.bar, .footer, .header {
    background-image:url("../img/bar.png");
    background-repeat:repeat-x;
    min-height:43px; /* height of backgroundimg */
    padding-left:10pt;
}

#menu_container {
    float:right;
    width:200px;
    /*border-width:2px;
    border-style:solid;
    border-color:white;*/
    margin:5pt;
}

#menu_container a {
    color:black;
}

/* Used for div menu */
.menu {
    border-width:1px;
    border-style:solid;
    border-color:black;
    border-bottom:0px;
    border-right:0px;
    background-color:white;/*#a9bcc6;*/
    background-image:url("../img/menu_gradient.png");
    background-repeat:repeat-x;
    padding:0pt;
    padding-left:2pt;
    padding-right:2pt;
    padding-bottom:10pt;
    text-align:center;
    color:black;
}

.menu a {
    color:black;
    padding-left:0pt;
    /*font-weight: bold;*/
    display: block;
}

.menu a:hover {
    background-color:#64AACF;
}

.menu ul {
    list-style:none; /*show no dots or whatsoever */
    padding:0pt; /* remove the padding on the left */
}

.menu_noblock a {
    display: inline;
}

/* Div around the search field */
.menu_search {
    /*background:#373d40;
    color:white;*/
    text-align:center;
    margin-top: 10pt;
}

form input {
    width:140px;
}


#footer_text, #copyright {
    padding-top:10pt;
    padding-right:5pt;
}


#footer_text {
    text-align:left;
    float: left;
}

#copyright {
    text-align:right;
}

#frame_shadow_left_image {
    float:left;
    background-image:url("../img/frame_gradient.png");
    background-repeat:no-repeat;
    background-position: left top;
    width:19px;
    height:200px;
}
#frame_shadow_right_image {
    float:right;
    background-image:url("../img/frame_gradient_mirrored.png");
    background-repeat:no-repeat;
    background-position: right top;
    width:19px;
    height:200px;
}
.clearing {
	height: 0;
	clear: both;
}

.small_text {
    font-size:small;
}

.ps {
    margin:1em;
}