body {
	background-color: #f5f5f5;
}

h1 {
	border-top-width: thin; 
	padding-right: 1em; 
	padding-left: 1em; 
	border-left-width: thin; 
	border-bottom-width: thin; 
	padding-bottom: 0.5em; 
	padding-top: 0.5em; 
	background-color: #ddbbff; 
	border-right-width: thin;
}

h2 
{
    font-weight:bolder;
}

h4
{
    font-style:italic;
}
    
h4.subsubsection
{
    font-style:normal;
    color:#808080;    
}

p.navigator 
{
    font-size: .8em;
}

.navigator a
{
    margin-right:20px;
}

p.copyright
{
    font-size: .8em;
}

ul.topic li
{
    margin-bottom:20px;
}

ul.topic ol li
{
    margin-bottom:auto;
}