body { 
	padding : 2em 1em 2em 70px;
	margin : 3%;
 	font-family : "DejaVu", sans-serif;
	color : black;
	background : white;
	text-align : justify;
} 
th, td {
	font-family : "DejaVu", sans-serif; 
} 
h1, h2, h3, h4 { 
	text-align : center;
	} 
h5, h6	{
	text-align : left;
	}
h1 { 
	font : 165% "DejaVu", sans-serif; 
} 
h2 { 
	font : 145% "DejaVu", sans-serif;
}
h3 { 
	font : 135% "DejaVu", sans-serif;
} 
h4 { 
	font : 125% "DejaVu", sans-serif; 
} 
h5 { 
	font : bold 110% "DejaVu", sans-serif; 
} 
h6 { 
	font : bold 100% "DejaVu", sans-serif; 
} 
p,ol,ul {
	font : 98% "DejaVu Sans", serif;
	text-align : justify;
}
.hide { 
	display : none; 
} 
div.head { 
	margin-bottom : 1em; 
} 
div.head h1 { 
	margin-top : 2em; 
	clear : both; 
} 
div.head table { 
	margin-left : 2em; 
	margin-top : 2em; 
} 
p.copyright { 
	font-size : small; 
} 
p.copyright small { 
	font-size : small; 
} 
@media screen { 
	a[href]:hover { 
		background : #ffa; 
	} 
}
pre { 
	margin-left : 2em; 
} 
dt, dd { 
	margin-top : 0; 
	margin-bottom : 0; 
} 
dt { 
	font-weight : bold; 
} 
pre, code { 
	font-family : monospace; 
} 
ol.toc { 
	list-style-type : decimal; 
} 
ul.toc { 
	list-style-type : disc; 
}