#content
{
	min-width: 600px;
}

.functions h4
{
	width: auto;

	margin: 0.5em;
	margin-bottom: 0.25em;
	font-size: 1.1em;
	font-weight: bold;
	text-align: center;
	
	border-top: solid 1px #808080;
	padding-top: 0.5em;
}

.functions h5
{
	margin: 1em 1em;
	font-size: 1em;
	font-weight: bold;
	text-align: left;
	padding: 0.2em 0.5em;
	margin-bottom: 0em;
}

.functions h5,
.functions .arguments
{
	background: url(../images/dark_bkg.png);
	border: dotted 1px #606060;
}

.functions .arguments
{
	border-top: none;
	padding: 0.1em 0.5em;
}

.functions .arguments dd
{
	font-size: 0.9em;
}

.functions dl
{
	margin: auto 1em;
}



dl
{
	margin: auto 0.5em;
}

dl dt
{
	font-weight: bold;
	margin-top: 0.75em;
	list-style: disc inside;
}

dl dd
{
	margin-bottom: 0.5em;
}



code.example
{
	display: block;
	width: 90%;
	margin: auto;
	padding: 0.5em;
	max-height: 20em;
	overflow: auto;
	background: url(../images/dark_bkg.png);
	border: dotted 1px #606060;
	
	white-space: pre;
	
	font-family: Liberation Mono, Courier New, monospace;
	font-size: 0.8em;
}