table.output {border-width:3px; background-color:#CCCCCC;
				padding-left:10px; padding-right:10px;}


table.toc {margin-left: 30 px;}

td
{
	padding-left: 10px; padding-right: 10px;
}

ul
{
	list-style-image:url('images/ul_bullet.gif');
}

td.nospace
{
	padding-left: 1px; padding-right: 1px;
}

code
{
	font-family:monospace;
}

p            { font-family: Times New Roman; color: #800000 }
table        { font-family: Times New Roman; color: #800000 }
.hint        { border: 6px outset #008080 }
.attention   { border: 6px outset #FF0000 }
.example     { border: 4px groove #0000FF; background-color: #CCFFFF }
.beispiel    {border-style: outset; border-width: 4px; background-color:#FFCC99;}
.indeep        { border: 6px outset #c0c0c0 }