body {
	font-family      : verdana, tahoma, helvetica, arial;
	margin-top       : 0px;
	margin-bottom    : 0px;
	background-color : #EBEBEB;
}

p, ul, li {
	font-size    : 10pt;
	margin-left  : 10px;
	margin-right : 10px;
	text-align   : justify;
}

a {
	font-size : 10pt;
}

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

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

a:hover {
	color           : navy;
	text-decoration : underline;
}

h1 {
	color         : navy;
	text-align    : center;
	font-size     : 12pt;
	margin-top    : 20px;
	margin-bottom : 20px;
}

h2 {
	color         : navy;
	text-align    : left;
	font-size     : 12pt;
	margin-left   : 10px;
	margin-top    : 10px;
	margin-bottom : 10px;
}

h3 {
	text-align    : left;
	font-size     : 10pt;
	margin-left   : 10px;
	margin-top    : 10px;
	margin-bottom : 10px;
}

pre {
	font-size        : 10pt;
	background-color : #EBEBEB;
	padding          : 5px;
	border           : 1px solid gray;
	margin-right     : 15px;
	margin-left      : 15px;
}