pre.html {
	marign: 0;
	padding: 0;
}
div.author, .EDITEDBY, .collab, .colabname, .pubdate, .editor {
	display: none;
}
div.informalexample {
	padding-left: 2em;
	margin-top: 5px;
	font-size: 11px;
}
div.informalexample table {
	border: 1px solid black;
}
div.informalexample table tr td code {
	font-size: 11pt;
}
div.example {
	padding-left: 2em;
	margin-top: 5px;
	font-size: 11px;
}
div.example table {
	border: 1px solid black;
}
div.example table tr td code {
	font-size: 11pt;
}
div.table {
	margin-top: 5px;
	padding-left: 1em;
}
div.table table{
	border-colapse: colapse;
}
div.warning {
	border: 1px solid #CC0000;
	margin-top: 5px;
	margin-left: 1em;
	margin-right: 1em;
}
div.warning table, td{
	border: 0;
}
div.note b {
	text-decoration: underline;
}
h1 {
	background-image: url(/redesign/images/top_pfeil2.gif);
	background-position: top left;
	background-repeat: no-repeat;
	color: #658099;
	text-align: left;
	padding-top: 3px;
}
h1.title {
	font-size: 18px;
}
h1.section {
	font-size: 15px;
}
div.reference {
	font-size: 11px;
}
div.NAVHEADER hr, div.NAVHEADER th {
	display: none;
}
hr {
	border: none;
	border-top: 1px solid black;
}
a {
	color: #658099;
}