body,p,table,td,th,ul,li,dd,dt,dl,h1,h2,h3,h4,h5,h6,div,input {
    font-size: 13px;
}

/* - - - - - - - - - - - - - - - - - - - - -
  page specific styling
 - - - - - - - - - - - - - - - - - - - - - */

/* styling news */
h5.news {color:#800; border:0px solid red; margin-bottom:0.7em}
.news-details {border-left: 1px solid gray; padding-left: 2em; font-style: italic;}

pre.bibtex,
pre.license, pre.code, span.code, span.option
{border: 1px solid gray; color: #333333; background-color: #F7F7F7; padding: 1em;}

pre.code {background-color: #E0FFE0; margin-left: 2em;}
span.code, span.option {padding: 0 .5em;}

p.biblio {padding-left: 2em; padding-right: 2em; font-size: larger;}
p.biblio a {font-style: italic;}
p.biblio span.authors {font-size: small; font-weight: bold;}
p.biblio span.in {margin-left: 1em;}

div.images {float: right; margin-left: .3em;}
div.images img {padding: .5em; border: 1px solid gray; background-color: #DDDDDD; margin: .2em;}
div.images #bg {float: right; padding-bottom: .5em;}
div.images #hd1 {float: left;}
div.images #hd2 {float: right;}

div.threelinecontact {padding-left: 3em; color: #444; font-weight: bold;}

/* - - - - - - - - - - - - - - - - - - - - -
  layout related styling
 - - - - - - - - - - - - - - - - - - - - - */

html, body {
    margin: 0;
    padding:0;
    height:100%;
}

#container {
    min-height: 100%;
}

#container > .layouttable {
    width: 100%;
}

a img {
    border: 0px;
}

.content {
        padding-right: 1.5em;
        padding-left: 3em;
        padding-top: 1em;
	padding-bottom: 50px;
}

.pagenameincontent {
        font-size: 1.7em;
        margin: 0px;
        margin-bottom: 80px;
}

.content {
    margin-left: 2em;
    margin-bottom: 4em;
}

td.header {background: #EEF7FF;}
td.header a.TITLE {text-decoration: none; color: black; font-style: oblique; font-size: 32px;}
td.header span {display:block; padding: 1em 0 1em 2em;}
td.header {border-bottom: 3px solid gray;}
td.header span.subtitle {display:inline; padding: inherit; color: #666;}

td.menu {padding:0.3em;}
td.menu div.logos a {text-align: center; display: block;clear: left; margin: .5em 0;}

.search {
    padding-top: 30px;
}

td.footer {background-color: #F0F0F0; border: 1px solid black; border-left-width: 0; border-right-width: 0;}
td.footer {padding: .15em 2em;}
td.footer {text-align: right;}

/* - - - - - - - - - - - - - - - - - - - - -
  mainly color related styling
 - - - - - - - - - - - - - - - - - - - - - */

/*td.header, td.footer, td.menu {border: 1px solid black;}*/

td.menu {padding-top: 3em;}
div.menu {background-color: #E0E0FF; border: 1px solid black; padding: .6em;}
div.menuitem, div.currentmenuitem {margin: .2em; font-weight: bold;}

div.logos {border: 1px solid black; padding: .6em;}

.menu a {color: #555;}
.menu .currentmenuitem {color: #700;}

.menu, .menu a, .outline a {
    text-decoration: none;
}


.content h1 {
    font-size: 1.5em;
    line-height: 26px;
    border-bottom: 1px solid;
    border-bottom-color: #CCC;
    margin-top: 1.3em;
    margin-bottom: 1.5em;
}

.content h2 {
    font-size: 1.25em;
}
.content h1 + h2 {
    margin-top: 0px;
}
.content p, h3 {
    margin-left: 15px;
}
.content p {
    text-align: justify;
}

.content .WARNING {font-weight: bold; border: 3px solid black; color: red; padding: 1em; background: #DDD;}
.content img.WARNING {float:right; display: block;}