body {
    background: url("../images/fano.png");
    font-family: Optima, sans-serif;
    font-weight: normal;
    color: silver;
    background-repeat: repeat-y;
    background-color: #000099; /*00008B */
}

div#main {
	width: 70%;
	margin: 20px auto 20px 85px;
	text-align: left;
}


h1 {
    margin: 5px 5px 5px 5px;
    border: 0px;
/*    padding: 5px;*/
    border-color: transparent;
    font-size: 2em;
}

p {
    margin-left: 5px;
}

code {
	font-size: 95%;
	font-family: "LuxiMono", "Bitstream Vera Sans Mono", "Monaco", "Courier New", monospace;
	word-wrap: break-word;
	white-space: pre;
	white-space: pre-wrap;
	white-space: -moz-pre-wrap;
	white-space: -o-pre-wrap;
}

pre {
	white-space: normal;
	font-weight: normal;
	margin: 0 40px;
	padding: 5px 10px 5px 20px;
	background-color: #000060;
	border: 1px solid #cccbba;
}

div#navbar{ 
	background: url("../images/fano-small.png");
	background-color: #000060;	
	background-repeat: repeat-y;
	width: 250px; /* 20 %*/
	position: fixed; top: 5px; right: 20px;;
/*	float: right; */
	text-align: left;
	padding: 0 10px 0 0;
	margin: 0px 20px 10px 10px;
	font-weight: normal;
	font-size: 90%;
}

div#navbody {
    margin-left: 10px;
}

#navbar h1 {
	margin-left: 20px;
	font-weight: normal;
	font-size: 14pt;
	color: white;
	padding: 5px;
	text-align: center;
}

/*
#navbar ul {padding-left: -10px;}
#navbar ul ul {padding-left: -20px;} 
*/

div#footer {
	width: 70%;
	margin: 20px auto 20px 80px;
	border-top: 2px solid silver;
	font-size: smaller;
	font-weight: normal;
}

a:link { 
    color: white; 
    text-decoration: none;
}

a:visited { 
    color: white; 
    text-decoration: none;
}