body {
font-family: Tahoma, Arial, Helvetica, sans-serif;
background-color: #f0f0f0;
font-size: medium;
}

h1 {
font-family: Tahoma, Arial, Helvetica, sans-serif;
font-weight: bold;
text-decoration: none;
color: #bb5555;
font-size: x-large;
}

a {
font-family: Tahoma, Arial, Helvetica, sans-serif;
font-weight: bold;
text-decoration: none;
color: #5555bb;
}

a:hover{ text-decoration: underline;}

a.new{ color:#bb5555; text-decoration:none; }

code {
  font-family: Courier, monospace;
  font-size: 12px ; color: #990033;
}

pre {
  font-size: 12px ; color: #3366CC;
}

.contents {
font-family: Tahoma, Arial, Helvetica, sans-serif;
background: #ffffff;
margin-right: 0%;
margin-left: 0%;
padding: 1.5em;
border: 1px solid;
border-color: #bbbbbb;
}

.title {
background: #ffffff;
}

.leftMenu {
font-family: Tahoma, Arial, Helvetica, sans-serif;
background: #ffffff;
margin-right: 0%;
margin-left: 0%;
padding: 0.5em;
border: 1px solid;
border-color: #bbbbbb;
}

.pageHeader {
font-family: Tahoma, Arial, Helvetica, sans-serif;
font-weight: bold;
font-size: 200%;
color: #bb5555;
}

.subHeader{
font-family: Tahoma, Arial, Helvetica, sans-serif;
font-weight: bold;
font-size: larger;
}

.topMenu{
margin-left: 0%;
margin-right: 0%;
background: #bbbbbb;
color: #dddddd;
}

.bottomMenu{
margin-left: 0%;
margin-right: 0%;
background: #bbbbbb;
color: #dddddd;
}

.menu{
margin-left: 0%;
margin-right: 0%;
background: #bbbbbb;
color: #dddddd;
}

.menu a{
color: #ffffff;
}

.menu a:hover {
color: #5555bb;
text-decoration: none
}

.backlinks{
font-size: x-small;
font-style: italic;
}

.navbar {
font-family: Tahoma, Arial, Helvetica, sans-serif;
background: #ffffff;
padding-left: 5px;
padding-right: 5px;
border-left: 1px solid;
border-right: 1px solid;
border-top: 1px solid;
border-color: #bbbbbb;
}

.fakeLink {
font-family: Tahoma, Arial, Helvetica, sans-serif;
color: #0000ff;
text-decoration: underline;
}

.footnote {
font-family: Tahoma, Arial, Helvetica, sans-serif;
font-size: small;
}

.red {
font-family: Tahoma, Arial, Helvetica, sans-serif;
font-size: 12px ; color: #ff0000;
}

ul {
margin-top: 0.8em;
margin-bottom: 0.8em;
}

li {
margin-top: 0.5em;
margin-bottom: 0.5em;
}

th, td {
font-size: smaller;
}

td.recent,th.recent{
background: #ffffff
}

.logo {
vertical-align: baseline;
border-width: 1px;
border-color: #bbbbbb;
color: #ffffff;
}

hr {
border: solid silver;
height: 1px;
}

.notify {
font-family: Tahoma, Arial, Helvetica, sans-serif;
font-size: smaller ;
}

.searchresult{
background-color: gainsboro
}