/*
# $Date: 2006-07-19 10:20:14 +0200 (mer., 19 juil. 2006) $
# $Rev: 16 $
*/
/* This CSS is very clean, very few warnings, no errors */
/* Main page */
html {
	background-color: #FFFFFF;
	background-image: url('/img/bkgrnd_greydots.png');
	background-repeat: repeat;
	background-attachment: fixed;
	}
body {
	margin: 1em 1em 1em 1em;
	font: 1em sans-serif;
	color: #000000;
	background-color: #FFFFFF;
	text-align: left;
}
body div.left  { float: left;  }
body div.right { float: right; }
body div.clear { clear: both;  }

/* Main header */
body div.header {
	margin: 0px;
	border: 1px dashed #000000;
	border-bottom: 0px dashed #000000;
	background-color: #EEEEEE;
	padding: 1em;
}
body div.header h1 {
	font: bold 150% sans-serif;
	color: #005A9C;
}
body div.header strong {
	color: #002769;
	text-transform: uppercase;
}

/* Main footer */
body div.footer {
	border: 1px dashed #000000;
	border-top: 0px dashed #000000;
	background-color: #EEEEEE;
	padding: 3px;
}
body div.footer address {
	font: italic 75% sans-serif;
	color: #333333;
}
body div.footer address :link ,
body div.footer address :visited ,
body div.footer address a:active { color: #0000CC; }
body div.footer address a:hover  {
	color: #FF0000;
	text-decoration: underline;
	background-color: #FFFF99;
}
body div.footer img { border-style: none; }
body div.footer address strong { font-variant: small-caps; }

/* Main body */
body div.main {
	border: 1px dashed #000000;
	padding: 5px 1em 5px 1em;
}

body div.main div.nav_panel {
	font-size: 75%;
	padding: 2px 1em 2px 1em;
	margin: 0px 0px 6px 0px;
	background-color: #CCFFFF;
	border: 1px dotted #000000;
}
body div.main div.nav_panel :link ,
body div.main div.nav_panel :visited ,
body div.main div.nav_panel a:active { color: #000000; }
body div.main div.nav_panel a:hover  {
	color: #000000;
	text-decoration: underline;
	background-color: #FFFF99;
}

body div.main h2 {
	font-weight: bold;
	font-size: 100%;
	margin: 0px;
	margin-bottom: 10px;
	list-style-position: outside;
	list-style-type: square;
}
body div.main h2 :link ,
body div.main h2 :visited ,
body div.main h2 a:active {
	color: #000000;
	text-decoration: underline;
}
body div.main h2 a:hover  {
	color: #FF0000;
	text-decoration: underline;
	background-color: #FFFF99;
}

body div.main h3 {
	font-weight: bold;
	font-size: 80%;
	margin: 0px;
	margin-bottom: 3px;
	margin-left: 1em;
}
body div.main p {
	font-weight: normal;
	font-size: 80%;
	margin: 0px;
	margin-left: 0em;
	margin-bottom: 6px;
}

body div.main p.para {
	font-weight: normal;
	font-size: 80%;
	margin: 0px;
	margin-left: 0em;
	margin-bottom: 6px;
	margin-left: 2em;
}

body div.main ul {
	margin: 0px;
	margin-left: -1em;
	margin-bottom: 16px;
}

body div.main ul li {
	font-size: 80%;
	font-weight: normal;
	margin: 0px;
	margin-left: 1em;
	margin-bottom: 4px;
}
body div.main ul li :link ,
body div.main ul li :visited ,
body div.main ul li a:active { color: #0000CC; }
body div.main ul li a:hover  {
	color: #FF0000;
	text-decoration: underline;
	background-color: #FFFF99;
}
body div.main ul li p {
	margin: 0px;
	margin-left: -1em;
	margin-bottom: 6px;
}

div.error {
	color: #FF0000;
	font: bold 100% sans-serif;
	font-variant: small-caps;
}

/* lexers */
div.lexer_block {
	border: 2px solid #000000;
	margin: 10px;
	font: normal 75% sans-serif;
}

div.lexer_file {
	padding: 2px;
	border: 0px none;
	border-bottom: 1px solid #000000;
	font-weight: bold;
	background-color: #FFFF99;
}

div.lexer {
	border: 0px none;
	padding: 5px;
	font-family: "Courier New", Courier, mono;
}