/*#main h1 {
  color: #8196b8;
}*/

p.sflogo {
  margin-top: 25px;
  text-align: right;
}

p.sflogo img {
  border: none;
  padding: 0px;
}

#main img {
  margin-top: -10px;
  margin-bottom: 10px;
  margin-left: 100px;
}

pre {
  background-color: #eee;
  padding: 10px;
  border: solid 1px #8196b8;
}

#header h1 {
  font: 2em serif;
  text-align: center;
}

body {
  font: 1em sans-serif;
  color: black; 
  padding: 5px;
}
em.file {
  font: 1em mono;
}

#main h1 { 
  font: 1.5em serif;
}

#main h2 { 
  font: 1.25em serif;
}

#menu {

  margin-left: -5px;
  margin-right: -5px;
  width: 100%;
  border-top: solid 3px #8196b8;
  border-bottom: solid 3px #8196b8;
  moz-border-radius: 3px;
  text-align: center;
  padding: 5px;
  font: 1.2em serif;
  /*color: #994;*/
  color: #8196b8;
}

a {
  color: #8196b8;
  text-decoration: underline;
}

#menu a:hover {
  text-decoration: underline;
}