/* $Id: print.css,v 1.1 2005-12-18 13:50:56 stefan Exp $ */

.blockheader { margin:0px ; padding:2px
	/*; border:thin solid red*/
	}

.blockmenu { margin:0px ; padding:0px
	; font-family:sans-serif
	/*; border:thin solid red*/
	}

.blockcontent { padding: 1em ; margin:0px 
	/*; border:thin solid red*/
	}

.blockfooter { margin:0px
	/*; border:thin solid red*/
	}

.menulvl0 {
	; font-size: 100% ;
	}

.menulvl1 {
	; font-size: 80% ; margin-left: 10px
	}

.menuitem { margin-top: 2px ; margin-bottom: 2px ; margin-left: 1px ; margin-right: 1px
	; padding-top: 2px ; padding-bottom: 2px ; padding-left: 1px ; padding-right: 1px
	}

a.menuitem:link { text-decoration:none; }
a.menuitem:visited { text-decoration:none; }
a.menuitem:hover { background-color:#A8A8A8; text-decoration:none; }
a.menuitem:active { text-decoration:none; }

.headline {
	font-family:sans-serif
	}

.codesnip {
	; border-width:thin ; border-style:solid ; border-color:black;
	}

.locstyLastChanged { font-size:xx-small;font-family:sans-serif;}

h1 { margin-top:2px; margin-bottom:2px; line-height:1em; text-align:center }
/* h2 { margin:1px; line-height:1em; padding:0px; } */
body.normal {
	font-family:sans-serif;
	}
p.todo { border-width:3px; border-style:solid}
dt { font-weight:bold; }