.menu
{
	width: 150px;
	color: gray;
}

.menu A                { color: gray; background: none; text-decoration: none;}
.menu A:link           { color: gray; background: none; text-decoration: none;}
.menu A:link:hover     { color: darkblue; background: none; text-decoration: underline;}
.menu A:link:active    { color: gray; background: none; text-decoration: none;}

.menu A:visited        { color: gray; background: none; text-decoration: none;}
.menu A:visited:hover  { color: darkred; background: none; text-decoration: underline;}
.menu A:visited:active { color: gray; background: none; text-decoration: none;}

.menu .one
{
	width: 150px;
	padding: 0px;
	margin: 0px 0px 10px 0px;
	border:1px solid #DDDDDD;
}

.menu .title
{
	color: white;
	font-size: 10pt;
	font-weight: bold;
	padding: 5px 10px;
	margin: 0px;
	background-color: #999999;
}

.menu .body
{
	padding: 0px;
	margin: 10px 0px;
	font-size:10pt;
	line-height: 14pt;
}



/*--------------------------------------------------------------------*/


body {
	color: gray;
}


A                { color: darkblue; background: none; text-decoration: none;}
A:link           { color: darkblue; background: none; text-decoration: none;}
A:link:hover     { color: darkblue; background: none; text-decoration: underline;}
A:link:active    { color: darkblue; background: none; text-decoration: none;}

A:visited        { color: darkred; background: none; text-decoration: none;}
A:visited:hover  { color: darkred; background: none; text-decoration: underline;}
A:visited:active { color: darkred; background: none; text-decoration: none;}

p {
	line-height: 130%;
}



H1
{
	color: white;
	font-size: 110%;
	padding:5;
	background-color: #0072bc;
}



.text_blue
{
	color: #0072bc;
}

pre { 
	border: 1px solid #DDDDDD; 
	width: 90%;
	margin: 10px;
	padding-left: 10px;
	padding-right: 0px;
	padding-top: 10px;
	padding-bottom: 5px;
	font-size: 90%;
	background: #FAFAFA;
	overflow: scroll;
	line-height:110%;
}