body{
	font-size: 12px;
	text-align: center;
	vertical-align: top;
	background-color: #202020;
	color: #FFFFFF;
}
label {
	font-weight: bold;
}
img {
	border: 0;
}

/*Unique DIVs-------------------------------------------------------------------------------------------*/
/*------------------------------------------------------------------------------------------------------*/

div#container { 
	width: 760px; 
	margin: 0 auto;
	padding: 0px;
	color: #000000;
	/*border: 1px solid white;*/
}
div#header {
	float: left;
	width: 760px;
}
div#header h1 {
	float: left;
	padding: 0 0 10px 15px; /* 15 px for the bg_page lateral */
	font-size: 24px;
	font-family: georgia, sans-serif;
	font-weight: normal;
	color: #FFFFFF;
	/*border: 1px solid red;*/ /* debug */
}
div#pagewrapper {
	float: left;
	width: 748px; /* bg_page's width! */
	padding-top: 24px;
	background: url('bg_page.png') no-repeat left top;
	margin-top: -15px;
}
div#page {
	padding: 0 24px 0 24px;
	background-color: #FFFFFF;
	position: relative;
	/*border: 1px solid red;*/ /* debug */
}
div#page b, div#page p, div#page pre {
	font-family: arial, helvetica, georgia, sans-serif;
	text-align: left;
}
div#page b { /* subtitle */
	display: block;
	margin: 1.5em 0 1.5em 0; /* same as <p>'s top and bottom margin in ie 7 */
}
div#page p {
	text-indent: 1em; /* the standard seems to be a small identation indeed */
	text-align: justify;
}
div#page img {
	display: block;
	margin: 0 auto 0 auto; /* "auto" centers on firefox 2 */

}
div#page a img:hover {
	border: 2px solid blue;
	margin-top: -2px; /* this is supposed to cancel the vertical displacement cause by the border property */
	margin-bottom: -2px; /* same as above */
}
div#page hr {
	border: 0;
	border-bottom: 1px solid #000000;
	height: 1px;
}
div#page pre { /* custom preformatted / structured text model. */
	margin: 0 3.5em 0 3.5em;
	/* border: 1px solid black; */ /* debug */
}
div#page pre.code-block { /* code block */
	/* margin: 0 3.5em 0 3.5em; */
	/* this does not work in firefox 2 if we assign pre with 100% width. if we leave width at
	"auto" it works, but then it breaks on ie 7 because "auto" works differently in ie. 
	defining width is necessary due to the possibility of the code overflowing the container. */
	margin: 0 auto 0 auto; /* centers on firefox 2 */
	font-family: monospace;
	border: 1px inset;
	overflow: auto;
	/*padding: 6px;*/ /* at least something */
	width: 614px; /* calibrated: to match div.code-title's computed width */
	/* todo em will not match pixel width? */
	height: 200px;
}
div#page pre.code-block span.user-custom {
	color: red;
}
div#page div.code-block-title {
	background-image: url('icon-cmd_file.png');
	background-repeat: no-repeat;
	background-position: 4px 3px; /* calibrated: to center 'icon-cmd_file.png' vertically */
	text-align: left;
	margin: 0 3.5em 0 3.5em; /* based on <ul>'s left margin in firefox 2 and ie 7 */
	font-family: monospace; /* to match pre.code-block */
	padding: 2px 0 2px 0; /* just a little */
	padding-left: 24px; /* calibrated: width of 'icon-cmd_file.png' + (xpos of background-position x 2) */
	background-color: yellow;
	border: 1px solid #000000;
}
div#page-backtotop {
	width: 100%;
	height: 20px; /* same as parent */
	line-height: 20px;
	/* makes sure that all inline elements inside this box will have the same minimal height */
	/* border: 1px solid black; */ /* debug */
	text-align: center;
}
div#page-backtotop a {
	font-size: 12px;
	text-decoration: none;
	vertical-align: baseline;
}
div#page-backtotop img {
	display: inline;
	vertical-align: baseline;
	/* you have to include this here because vertical-align is not inherited from parent inline elements */
	margin-right: 3px; /* at least something */
}
div#page-last-update {
	position: absolute;
	text-align: left;
	height: 0;
	top: 0;
	left: 24px; /* same as div#page's left padding */
}
div#page-menu {
	width: 100%;
	height: 20px; /* calibrated: 18 + border-width of 'div.part-menu a' x 2 */
	/*font-family: monospace;*/ /* to make sure that all characters have the same width */
	font-size: 18px;
	font-weight: bold;
	line-height: 20px;
	/* makes sure that all inline elements inside this box will have the same minimal height */
	/*border: 1px solid black;*/ /* debug */
}
div#page-menu a {
	border: 1px solid #999999;
	background-color: #FFFFFF;
	color: #000000;
	margin-right: -1px;
	display: block;
	float: right;
	padding: 0px 4px 0px 4px;
	text-decoration: none;
}
div#page-menu a:hover { background-color: #C4C4C4; }
div#page-menu a.undercons {
	color: #C4C4C4;
	text-decoration: line-through;
}
div#page-menu a.undercons:hover { background-color: #FFFFFF; }
div#page-menu a.current {
	color: #FFFFFF;
	background-color: red;
}
div#page-menu label {
	float: right;
	border: 1px solid #FFFFFF;
	/* required so that calculations regarding vertical posituoning of the etxt are made
	exatcly like those in page menu that has border. calculations take the border kin cosnidertation */
}

/*Custom Classes----------------------------------------------------------------------------------------*/
/*------------------------------------------------------------------------------------------------------*/

p.backtohome, p.backtohome a {
	text-align: left;
	color: #FFFFFF;
	text-decoration: none;
}