body
{
	font-family: "Lucida Grande";
	font-size: 8pt;
}

h1, h2, h3
{
	font-size: 13pt;
}

pre
{
    font-family: Monaco;
	margin-left: 3ex;
	border-width: 1px 1px 1px 1px;
	border-style: solid;
	border-color: #000;
	color: #000;
    background: #ffe;
	padding: 1ex;
}

tt
{
    font-family: Monaco;
	background-color: #eeeeee;
}

dt
{
	font-weight: bold;
}

a
{
    text-decoration: none;
}

a:hover
{
	text-decoration: underline;
}

#contents ul
{
    list-style-type: none;
}

#outline
{
    font-size: 8pt;
	list-style-type: none;
	margin-left: 0;
	text-indent: -10px;
	padding-left: 10px;
}

.figure
{
    text-align: center;
}

ul.-auto-toc
{
	margin-left: 0;
    padding-left: 10pt;
}

.-auto-toc li
{
    list-style-type: none;
    margin-left: 0; 
    padding-left: 0;
}