/* FILE global.css */

body {
	font-family: sans-serif;
	background-color: #ffffff;
	color: black;
}
#content {
	width: 85%;
	margin: 20px auto 20px auto;
}
span {
	border: 0px;
	border-spacing: 0px;
	margin: 0px;
	padding: 0px;
}
/* menu stuff */
.header {
	width: 100%;
	border: 0px;
	border-spacing: 0px;
	margin: 0px;
	padding: 3px 0px 3px 0px;
	background-color: #e0e2d4;
	color: #000000;
}
div.header {
	padding: 4px 0px 5px 0px;
}
span.header_logo {
	padding-left: 5%;
	text-align: left;
	font-family: monospace;
	font-size: 20pt;
	font-weight: bold;
 font-style: italic;
}
span.header_disclaimer {
	padding-left: 35%;
	color: #969696;
}
div.menuline {
	background-color: #e5e2c5;
	color: #000000;
	border-top: 1px #000000 solid;
	border-bottom: 1px #000000 solid;
	padding: 4px 05% 4px 05%;
}
/*span.menu_lang { float: left; }*/
span.menu_menu { text-align: left; }
span.menu_crumbtrail {
/* float: right;*/
 text-align: right;
	}
a.menu {
	font-family: sans-serif;
	text-decoration: none;
	font-weight: bold;
	color: #ad351a;
	background-color: #e5e2c5;
}
a.menu:link { color: #ad351a; }
a.menu:visited { color: #ad351a; }
a.menu:active { color: #ad351a; }
a.menu:hover { color: #ff4d00; }
div.footer {
	background-color: #e5e2c5;
	color: #000000;
	border-top: 1px #000000 solid;
	border-bottom: 1px #000000 solid;
	padding: 4px 05% 4px 05%;
	text-align: right;
}
span.footer_date {
                   float: left;
                   font-style: italic;
}
div.body {
	width: 85%;
	background-color: #ffffff;
	color: black;
	margin: 20px auto 20px auto;
}
h1, h2, h3, h4, h5 {
	font-family: sans-serif;
	font-weight: bold;
     color: black;
     background: white;
     text-align: left;
}
h1 {
     margin-top: 0.5em;
     letter-spacing: 1px;
     font-size: 2em;
     border-bottom: thin solid black;
}
h2,h3,h4,h5 { margin-top: 2em; }
h2 {
    border-bottom: thin solid black;
    font-size: 1.5em;
}
a {
	font-family: sans-serif;
/*	text-decoration: none;*/
	color: #0000ff;
/*	background-color: #ffffff;*/
}
a.intern { font-family: sans-serif; /*text-decoration: none;*/ }
a.intern:link { color: #0000ff; }
a.intern:visited	{ color: #2040a0; }
a.intern:active { color: #0000ff; }
a.intern:hover { color: #0080a0; text-decoration: underline; }
a.extern { font-family: sans-serif; /*text-decoration: none;*/ }
a.extern:link { color: #2040ff; }
a.extern:visited	{ color: #2040a0; }
a.extern:active { color: #2040ff; }
a.extern:hover { color: #2040a0; text-decoration: underline; }
pre.example, pre.programlisting, div.programlisting {
/*	width: 90%;*/
	color: #880000;
/*	background-color: #eeeeee;*/
        background-color: #f4f4f4;
	margin-top: 10px;
	margin-bottom: 10px;
	margin-left: 20px;
	margin-right: 20px;
	font-family: Courier, Courier New, monospace;
        padding: 0.6em 1em;
        border-style: dashed;
        border-width: thin;
	border-color: black;
/*	font-size: 9pt;*/
}
pre, code {
	font-family: Courier, Courier New, monospace;
        color: #880000;
/*	color: green;*/
	backgroud-color: white;
/*	font-size: 9pt;*/
}
dt {
     font-weight: bold;
}
#postamble {
/*    width: 95%;*/
	background-color: #e5e2c5;
	color: #000000;
	border-top: 1px #000000 solid;
	border-bottom: 1px #000000 solid;
	padding: 4px 05% 4px 05%;
	text-align: center;
	font-size: 0.75em;
}