body{
	background-color: #ffffff;
	color: #000000;
	padding: 0.2em 0.2em 0.2em 0.2em;
	margin: 1em 1em 1em 1em;
}
h1,h2,h3{
	padding: 0.2em 0.2em 0.2em 0em;
	margin: 1.3em 0.2em 0.5em 0em;
}
ul.navi{
	padding: 0.2em 0.2em 0.2em 0.2em;
	margin: 0.2em 0.2em 0.2em 2em;
}
li.navi{
	list-style-type: none;
	padding: 0em 0em 0em 0em;
}

p{
	padding: 0.2em 0.2em 0.2em 0.2em;
	margin: 0.2em 0.2em 0.2em 0.5em;
}
ul{
	padding: 0.2em 0.2em 0.2em 0.2em;
	margin: 0.2em 0.2em 0.2em 2em;
}
li{ padding: 0.2em 0em 0.2em 0em; }

address{
	font-weight:normal;
	font-style:normal;
	text-align:left;
	padding: 0.2em 0.2em 0.2em 0.2em;
	margin: 0.2em 0.2em 0.2em 0.5em;
}


p.sub {
	font-size:0.75em; 
	color: #888;
}
p.navi{
	text-align: right;
	padding: 2em;
}
.sub {
	font-size:0.75em; 
	color: #888;
}
pre.big{
	font-size:1.2em; 
	border-style: solid;
	padding: 0.5em;
	border-color: royalblue deepskyblue royalblue deepskyblue ;
}
em{
	font-size:1.3em; 
	font-style: normal;
	font-weight: bold;
	color: red;
}
em.good{
	font-size:1.2em; 
	font-style: normal;
	font-weight: bold;
	color: green;
}
div.block{
	padding: 0.3em 0.3em 0.7em 0.5em;
	margin: 0.3em ;
	border-style: solid;
	border-color: #8Cf;
	border-width: 0.05em 0.1em 0.1em 0.05em;
}
