body
{
font-family: verdana;
font-size: 10px;
}

.decimals
{
list-style-type: decimal;
} 

pre
{
padding: 5px;
font-family: verdana;
font-size: 12px;
background-color: #aabbee;
border: 1px solid black;
}

.topic
{
font-size: 14;
font-weight: bold;
}

.subtopic
{
	font-size: 12;
	font-weight: bold;
}

.emph
{
	font-weight: bold;
}