body {
  margin: 0px;
  padding: 0px;
}

#menudiv {
  width: 100%;
  background-color: #ff8800;
}

#menu {
  list-style: none;
  padding: 0px;
  margin: 0px;
  display: inline;
}

#menu li {
  padding: 10px;
  margin: 0px;
  display: inline-block;
}

#menu li a {
  text-decoration: none;
  font-weight: bold;
  font-size: 120%;
  font-family: sans-serif;
  color: white;
}

#maintitle {
  background-color: #ff8800;
  text-align: center;
  height: 2px;
  overflow: visible;
  padding: 0px;
  margin-bottom: 50px;
}

h1 {
  background-color: white;
  display: inline;
  border-left: 2px solid #ff8800;
  border-right: 2px solid #ff8800;
  border-bottom: 2px solid #ff8800;
  background-color: #ff8800;
  padding-top: 4px;
  padding-left: 10px;
  padding-right: 10px;
  font-family: sans-serif;
}

p, h2, h3, h4, h5, h6, pre {
  margin-left: 10px;
  margin-right: 10px;
}

#logo {
  margin: 0px;
  padding: 0px;
  vertical-align: -14px;
}