/*----------------------------------------------- common tags --------------*/

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

body 
{ 
	font: 14px sans-serif;
	color: #CCCCCC; 
	background: #000000;
	height: 90%;
}

a:link 
{ 
	color: #EEEEEE;
}

a:visited 
{ 
	color: #DDDDDD;
}

a:hover, 
a:active 
{ 
	color: #FFFFFF;
}



/*----------------------------------------------- table layout tags --------*/
table.downloads 
{
	background: #222222;
	padding: 1em;
	border: ridge 0.25em #888888;
	border-collapse:collapse;
}

table.downloads td 
{
	border: solid 1px #444444;
	padding: 1em;
}




/*----------------------------------------------- own page layout tags -----*/
#page 
{
	margin: 0;
	padding: 0;
	height:100%;
}


#pageHeader
{
	background: #222222;
	height: 2.5em;
}

#pageHeader h1
{ 
	margin: 0;
	font-size: 2em; 
	font-weight: bold;
	text-align: center;
}

#pageHeader h1 a 
{ 
	font-size: 0.5em; 
	font-weight: normal;
}


#navigationMenu 
{ 
	background: #222222;
	margin-top: -1px;
	margin-bottom: 0;
	padding-left: 0.5em;
	padding-top: 0.5em;
	padding-bottom: 0.5em;
	width: 8em;
	height: 100%;
}

#navigationMenu ul
{
	margin-left: 0.5em; 
	padding-left: 0.5em;
}

#pageContent 
{ 
	margin: 0;
	padding: 1em;
	background: #000000;
	position: absolute;
	top:4em;
	left:9.5em;
	right:0.5em;
	padding-left: 0.5em;
	padding-right: 0em;
	padding-bottom: 0em;
}

#pageContent h1
{
	margin: 0;
	padding: 0.3em;
	background: #555555;
}

#pageContent h2
{
	margin: 0;
	padding: 0.2em;
	padding-left: 1em;
	background: #444444;
}

#pageContent h3
{
	margin: 0;
	padding: 0.1em;
	background: #333333;
}

#pageContent h4
{
	margin: 0;
	padding: 0.1em;
	background: #111111;
}






table.libraries
{
	margin: 0.5em;
	background: #222222;
	padding: 1em;
	border-collapse:collapse;
}


table.libraries tr
{
	width: 99%;
	border-top: solid 1px #888888;
	border-bottom: solid 1px #888888;
}

table.libraries td 
{
	padding: 2em;
}

table.libraries table
{
	background: #444444;
	padding: 1em;
}

table.libraries table td 
{
	padding: 1em;
}










#downloadLink
{
	font-size: 2em; 
	text-align: center; 
	padding: 1em; 
	border-color: #FFFFFF;
	border: solid; 
	margin: 1em;
}



/*----------------------------------------------- code highlighting tags----*/

table#codeCompare 
{
	color: #000000; 
	margin-top: 5mm;
	background: #FFFFFF;
	border: ridge 1px #888888;
	margin-left: auto;
	margin-right: auto;
}
table#codeCompare td
{
	border: ridge 1px #888888;
}
table#codeCompare code
{
	font: 8pt Courier New;
}




#sourceCode
{
	margin-top: 2mm;
	margin-bottom: 2mm;
	padding-top: 2mm;
	padding-left: 2mm;
	padding-right: 2mm;
	padding-bottom: 2mm;
	font: 10pt Courier New;
	color: #000000; 
	background: #FFFFFF;
}
#keyword
{
	color: #7f0055;
	font-weight: bold;
}
#comment
{
	color: #3f7f5f; 
}