/* Reset Margins & Paddings for all */
* {margin: 0; padding: 0;}

/* Main stuff
------------------------------------------*/
html {}
body {
	font-size: 12pt;
	font-family: "Arial", Helvetica, sans-serif;
}
img {color: red; font-size: 9pt;}
a img{border:none}
a:hover {text-decoration: none}
table {border: 0;}
h1, h2, h3 {font-family: "Georgia", Times, serif; font-weight: normal;}
h1 {font-variant: small-caps; margin: 1em 0; text-align: center;}
h2 {padding: 0.8em 0 0.3em 0; clear: both;}
h3 {padding: 0.4em 0 0.2em 0.8em}
p, div.paragraph {margin: 0 1.5em 0.6em 1.5em; line-height: 1.4; clear: both;}
#top, #bottom {height: 12px; font-size: 12px;}
pre {
	border: 6px solid;
	padding: 20px;
	margin: 10px;
	font-size: 90%;
}
.logo {
	text-align: right;
	font-size: 40pt;
	margin: 0.4em 0.5em 0.5em 0;
	font-variant: normal;
	font-family: sans-serif;
}
.wrapper {
	clear: both;
	background-image: url(../images/fade_main.png);
	background-repeat: repeat-x;
	padding: 30px 30px 80px 30px;
	border-width: 0 0 1px 0;
	border-style: solid;
	text-align: center;
}


/* COLORS
------------------------------------------*/

/* Main background color (gray) */
body {background: rgb(50,50,50)}

/* Main text color (white) */
body, .nav a {color: rgb(255,255,255)}

/* Secondary text color (gray) */
#footer, #about div.title, pre {color: rgb(140,140,140)}
#header, .wrapper {border-color: rgb(140,140,140)}

/* (almost) black */
#header, #footer {background-color: rgb(10,10,10)}
pre {border-color: rgb(10,10,10)}

/* green (not used now) */
/* rgb(100,180,75) */

/* blu */
a {color: rgb(140,178,230)} /* this one lighter: non visited links */
#main a:visited {color: rgb(90,140,214)}

/* orange */
h2, h3, .huge {color: rgb(244,123,68)}
#top, #bottom {background-color: rgb(244,123,68)}

/* another gray */
.separator {background-color: rgb(65,65,65)}
#about, pre {border-color: rgb(65,65,65)}


/* HEADER specific
------------------------------------------*/
#header {
	height: 120px;
	border-width: 0 0 1px 0;
	border-style: solid;
	position: relative;
	background-repeat: no-repeat;
	background-image: url(../images/header_left.png);
}
#header div.bg {
	height: 100%;
	background-repeat: no-repeat;
	background-image: url(../images/header_right.png);
	background-position: bottom right; 
}
.left_header {float: left}
#header .desc {position: absolute; bottom: 0; left: 10px;}
#header .desc a {text-decoration: none; font-weight: bold}


/* MAIN specific
------------------------------------------*/
#main {
	max-width: 55em;
	margin: 0 auto;	/* Dont set a bottom margin! */
	text-align: left;
}
#main img.title {position:relative; top:10px;}
#main a.pdf {
	padding-right: 15px;
	background-image: url(../images/pdf.gif);
	background-position: right;
	background-repeat: no-repeat;
}
#main ol, #main ul, #main dl {margin-left: 1.5em}
#main li {margin-bottom: 0.4em}
#main ul li {list-style-type: square}
#main dd {font-weight: bold}
#main .separator {
	clear: both;
	font-size: 2px; /* for IE */
	height: 2px;
	margin: 30px 0;
}
#main .hr {
	clear: both;
	font-size: 2px; /* for IE */
	height: 2px;
	margin: 30px 0;
	border-bottom-style: dotted;
	border-bottom-width: 1px;
}
#main div.leftcell, #main div.rightcell {
	width: 20em; height: 2.2em;
	margin: 4px 2px;
}
#main div.rightcell { width: 15em;}
#main div.leftcell {float: left; clear: left;}
#main div.rightcell {float: left; clear: none;}
#main div.eval { width: 10em;}

#about {
	width: 500px;
	margin: 40px auto 0 auto;		/* Dont set a bottom margin! */
	padding: 1.5em 0 4em 0;
	font-size: 90%;
	background-image: url(../images/folding.png);
	background-repeat: no-repeat;
	background-position: bottom right;
}
#about h2 {font-size: 1.2em;}
#about div.title {
	text-align: center;
	font-size: 2.2em;
	font-family: "Arial", Helvetica, sans-serif;
	font-weight: bold;
}
.huge {
	margin: 2em 4em 0 4em;
	font-size: 200%;
	line-height: 1.5;
}


/* FOOTER specific
------------------------------------------*/
#footer {
	background-image: url(../images/footertile.jpg);
	background-repeat: repeat-x;
	font-size: 90%;
	text-align: center;
}
.footer_middle {
	clear: none;
	padding-top: 1px;
}
.footer_bottom {
	width: 500px;
	margin: 0 auto;
	padding: 50px 0 30px 0;
}


/* Various
------------------------------------------*/
abbr, acronym {cursor: help;}