body {
  font-family: arial, lucinda, helvetica;
  color: black;
}

#leftcontent {
  position: absolute;
  background: lightblue;
  left:10px;
  width:100px;
  border:1px solid #000000;
}

#centercontent {
  margin-left:105px;
  border:1px solid #000000;
}

html>body #centercontent {
  margin-left: 105px;
}

#banner {
  border:1px solid #000000;
}

p,pre {
  margin:20px 5px 5px 5px;
}

h1,h2 {
  text-align: center;
}

p.red,span.red {
  font-family: arial, lucinda, helvetica;
  color: red;
}

p.small,span.small {
  color: black;
  font-size: 80%;
}

p.tiny {
  color: black;
  font-size: 70%;
}

p.hidden {
  color: white;
  font-size: 50%;
}

b {
  color: blue;
}

a:hover {
  color: midnightblue;
  background: #D0D0FF;
}

span.red {
  color: red;
  font-style: italic;
}

th {
  background: #FFCC99;
}