/*
   This file defines the layout formatting for the web site.
*/

html,body {
    margin:0
}


a:link {
    text-decoration: underline;
    color: #000066;
}
a:visited {
    text-decoration: underline;
    color: #494966;
}
a:hover {
    color: #000000;
    background: #AABBFF;
}
a:active {
    text-decoration:underline;
    color: #000066;
}

h1 {
    color:#ffffff;
    font-family: "Times New Roman", serif;
    font-size: 2.0em;
    font-weight: 500
}

h2 {
    color:#000000;
    font-family: helvetica,arial,sans-serif;
    font-size: 120%;
}

.figurecaption {
    width: 90%;
    margin-left: auto;
    margin-right: auto;
    font-size: 0.8em;
}

.topdiv {
    background-color: #0000AA;
    layer-background-color:#0000AA;
    top-margin: 0px;
    overflow: hidden;
    width:100%;
}

.maintext {
    padding:5px;
    width:95%;
    margin-left:auto;
    margin-right:auto;
    font-family: helvetica,arial,sans-serif;
    font-size: 1em;
}

/* Top menu */

.topmenue {
    color:#aaaaaa;
    font-size: 90%;
}
div.topmenue a:visited { text-decoration:none;color:#ffffff; }
div.topmenue a:active { text-decoration:none;color:#ffffff; }
div.topmenue a:link { text-decoration:none;color:#ffffff; }
div.topmenue a:hover { color: rgb(235,188,94);background: transparent; }

blockquote {
    font-style: italic
}

/* Is this obsolete??? */

/*
div.leftmenue a:visited { text-decoration:none;color:#000099; }
div.leftmenue a:active { text-decoration:none;color:#000099; }
div.leftmenue a:link { text-decoration:none;color:#000099; }
div.leftmenue a:hover { color: rgb(235,188,94);background: transparent; }

div.leftmenue a {
/*	font-family: "Verdana", "Arial", "Helvetica", sans-serif;*/
 	font-family: "Times New Roman", serif;
    text-align: left;
	line-height: 1.1em;
 	font-size: 1.5em;
	vertical-align:middle;
	margin: 7cm 0cm 0cm 0cm;
	font-weight: 500}

div.pub a:visited { text-decoration:none;color:#000099; }
div.pub a:active { text-decoration:none;color:#000099; }
div.pub a:link { text-decoration:none;color:#000099; }
div.pub a:hover { color: rgb(235,188,94);background: transparent; }

div.pub a {
/*	font-family: "Verdana", "Arial", "Helvetica", sans-serif;*/
 	font-family: "Arial", sans-serif;
    text-align: left;
/*	line-height: 1.1em;
 	font-size: 1.5em;
	vertical-align:middle;
	margin: 7cm 0cm 0cm 0cm;*/
	font-weight: 500}
*/