/* $Id: style.css,v 1.5 2006-03-10 12:50:06 stefan Exp $ */

/* Format for menu items */
.menu { color:black;background-color:#EEEEEE;font-family:sans-serif; }
.headline { color:black;background-color:#2095D0;font-family:sans-serif; }
/*
.codesnip { color:black;background-color:#8080FF;border-width:medium;border-style:ridge;border-color:black; }
*/
.codesnip { color:black;background-color:#8080FF;border-width:thin;border-style:solid;border-color:black; }
.locstyLastChanged { font-size:xx-small;font-family:sans-serif;color:#999999;}
h1 { margin-top:5px;margin-bottom:5px;line-height:1em; }
h2 { margin:1px;line-height:1em;padding:0px; }
body.normal { color:black;background-color:white;font-family:sans-serif; }
p.todo { border-width:3px;border-style:solid;border-color:red; }
dt { font-weight:bold; }