.top-panel{
	font-variant: small-caps;
	background-color: #CCFFFF;
}
body{
	padding: 2ex;
	font-size: medium;
}
.headline{
	background-color: #dddddd;
}
.text {
	text-align: justify;
}
h1, h2, h3 {
	color: #400080;
}

.funcref {
	background-color: white;
}

.indent { padding-left: 3ex ; }

.hang { text-indent: -2em; margin-left: 3em; }

.assumption{
	background-color: #ccffff;
}
.topicPage {
	background-color: white;
}
catalog{
	background-color: white;
}
.catalog td{
	vertical-align: top;
}
.catalog td p.indent{
	margin-top: 0px;
	margin-bottom: 1ex;

 
}