body{
  background-image: url(../images/background.gif); 
  font-family: Arial, sans-serif;
  font-size: 0.85em;
}

h1 {
  text-align: center;	
}


div.main {
  margin-left: 12em;
  width: 40em;
}

div.company {
  font-size: 0.8em;
  font-weight: normal;
  text-align: left;
  position: absolute;
  top: 1em;
  left: 1em;
  width: auto;
  right: auto;
}

div.mail {
  margin: 0;
  position: absolute;
  top: 4em;
  left: 1em;
  width: 4em;
  right: auto;
}

div.menu {
  margin: 0;
  font-size: 0.8em;
  font-weight: bold;
  line-height: 1.1;
  text-align: left;
  position: absolute;
  top: 9em;
  left: 1em;
  width: 12em;
  right: auto;
}

div.links {
  margin: 0;
  position: absolute; 
  bottom: 1em;
  left: 1em;
  width: 8em;
  right: auto;
}

div.search {
  position: absolute;
  top: 0em;
  right: 0em;
}

div.ads {
  position: absolute;
  top: 2.5em;
  right: 0em;
}

div.footer {
  font-size: 0.8em;
  text-align: right;
  background-color: lightgray;
}

div.company a:link {color:black; text-decoration: none}
div.company a:visited {color:black; text-decoration: none}

div.lastedit {
  font-size: 75%;
  text-align: right;
  margin-right: 10em;
}

/* position:absolute above together with next line */
/* are necessary as work-around for a bug in IE */
body>div.company {position: fixed}
body>div.mail {position: fixed}
body>div.links {position: fixed}
body>div.menu {position: fixed}

div.menu p {
  margin: 0; 
  padding: 0.3em 0.4em;
/*  background: green;
  border: thin outset green;
  color: white;*/
}

div.menu a { display: block; margin: 0 0.5em }
/*div.menu a { border-bottom: 2px groove #00FF00 }*/

div.menu a:link { text-decoration: none; color: blue }
div.menu a:visited { text-decoration: none; color: blue }
div.menu a:hover { background: blue; color: white }

tr.ihtsdo td {background: red}
tr.ihtsdo_maybe td {background: orange}

p.code
{
  font-family: Courier New;
}

p.question
{
  font-weight:bold;
}

pre
{
  font-family: New-Courier;
  font-size: 80% /*smaller*/;
  line-height: 1em;
}

div.sidebar {
  position: absolute;
  top: 10em;
  right: 1em;
  left: auto;
  width: 14em;
  height: auto;
  margin-top: 2em;
  margin-left: 4em;
  margin-bottom: 2em;
  padding: 10px;
  border: inset 1px black;
}