/* default.css */
body {
	margin : 12;
	/*color : #000000;*/
	/*background : #8080c0;*/
	/*background : #a0a0c0;*/
}

div.title-h1 {
	font-size : 24pt;
	font-weight : bold;
	text-align : center;
}

*.small2 {
	font-size : 8pt;
}
*.hide-small {
	font-size : 6pt;
	color : #808080;
}