body {
		background-color : #ffffff;
		margin : 10px;
		padding : 10px;
		font-family : serif;
		font-size : 10pt;
}
a {
		text-decoration : underline;
		color : #000000;
}
a:link {
		background-color : #ffdddd;
}
a:hover {
		background-color : #dddddd;
}
a:active {
		background-color : #dddddd;
}
div.belt {
  background-color : #eeeeee;
  padding : 0px 2px;
}

h1 {
		font-family : serif;
		font-size : 16pt;
}
h2 {
		font-family : serif;
		font-size : 14pt;
}
h3 {
		font-family : serif;
		font-size : 12pt;
}

h4 {
		font-family : serif;
		font-size : 10pt;
}