h1, h2, h3 {
	font-family: sans-serif; 
	margin-left: 15px; 
	margin-right: 25px; 
}

h1 { 
	font-size: 180%; 
	font-style: bold; 
}
h2 { 
	font-size: 140%; 
	font-style: bold; 
}
h3 { 
	font-size: 120%; 
	font-style: bold; 
}

div.toc_entry, p, li { 
	font-family: sans-serif; 
	font-size: 100%; 
	margin-left: 25px; 
	margin-right: 25px; 
}

div.example
{
	border-style: none;
	background: white;	

/*	border-width: 1px;
	border-style: solid;
	border-color: black;
	background: #ccddee;
*/
	
	text-align: center;
	
	padding: 10px 10px 10px 10px;
	
	margin-left: 25px;
	margin-right: 25px;
}

div.figure
{
	border-style: none;
	background: white;	

/*	border-width: 1px;
	border-style: solid;
	border-color: black;
	background: #ccddee;
*/

	text-align: center;
	
	padding: 10px 10px 10px 10px;
	
	margin-left: 25px;
	margin-right: 25px;
}

img.figure
{
	border-style: solid;
	border-color: black;
	border-width: 1px;
}

div.image
{
	padding: 0px 0px 0px 0px;
}

div.code
{
	text-align: left;

	border-width: 1px;
	border-style: solid;
	border-color: black;

	background: #eef6ff;
	
	font-family: monospace;
	
	margin-bottom: 5px;
	
	overflow: auto;
	white-space: pre;
}

div.navbar
{
	text-align: left;

	border-width: 1px;
	border-style: solid;
	border-color: black;

	background: #ccddee;
	
	padding: 5px 5px 5px 5px;
	
	margin-left: 15px;
	margin-right: 15px;
	margin-top: 15px;
	margin-bottom: 15px;
}

span.figrefno, span.exrefno
{
	font-weight: bold;
}

div.ad
{
	text-align: center;
}

div.legal
{
	font-family: sans-serif; 
	font-size: 75%; 
	margin-left: 25px; 
	margin-right: 25px; 
}

div.explanation
{
	text-align: left;

	border-width: 1px;
	border-style: solid;
	border-color: black;

	background: #eef6ff;
	
	margin-left: 35px;
	margin-right: 35px;
	
	padding-top: 15px;
}

div.expltitle
{
	font-size: 120%; 
	font-weight: bold; 
	
	margin-left: 15px;
	margin-right: 15px;
}

div.classbox
{
	float: right;
	
	border-width: 1px;
	border-style: solid;
	border-color: black;

	background: #eef6ff;
	
	margin-right: 25px;

	padding: 10px 10px 10px 10px;	
}

div.cbtitle
{
	font-weight: bold;
	
	margin-bottom: 5px;
}

div.cbtop, div.cbbottom
{
	margin-left: 10px;
}