body { 
  background: url("../images/sky.png") #f5f5f5 repeat-x fixed;
  color: black;
  font-family: Verdana, sans-serif;
  font-size: 11pt;
}

h1, h2, h3 {
    clear: left;
}

h1 {
  margin: 0 32px 10px 40px;
  padding: 1em 0;
}

img {
  border: 0;
  margin: 1em;
}

img.float-left {
  float: left;
  margin-left: 0;
  margin-top: 0;
}

img.float-right {
  float: right;
  margin-top: 0;
  margin-right: 0;
}

img.mascot {
  margin-top: 1em;
}

img.feed-icon {
  border: 0;
  margin: 0;
}

ul.news li span.date {
  font-style: italic;
  font-size: 80%;
}

ul.news li span.news-title {
  font-weight: bold;
}

ul.news {
  text-align: justify;
}

.path {
  font-family: monospace;
}

.cmd {
  font-style: italic;
}

#mainmenu {
  border: 1px solid #888;
  background: white;
  text-align: center;
  margin: 0 32px 0 40px;
  padding: 0;
  list-style: none;
}

#mainmenu li {
  display: inline;
}

#mainmenu li a {
  display: inline-block;
  padding: 0.5em 1em;
  text-decoration: none;
}

#mainmenu li a:hover {
  background: #f5b075;
}

#mainmenu li a.active {
  color: black;
}

#mainmenu li a.active:before {
  content: ">";
}

 
#content p {
  text-align: justify;
}

#content {
  border: 1px solid #888;
  background-color: white;
  padding: 0 1em;
  margin: 10px 32px 10px 40px;
  min-height: 200px; /* avoid overflow of mascot image */
}

h1 {
  text-align: center;
  font-family: Verdana, sans-serif;
  font-size: 16pt;
  color: #000066;
}

h2 { 
  text-align: left;
  font-family: Verdana, sans-serif;
  font-size: 13pt;
  color: #000066;
}

h3 { 
  border-bottom: 1px solid;
  text-align: left;
  font-family: Verdana, sans-serif;
  color: #000066;
}

h4 {
  text-align: left;
  font-family: Verdana, sans-serif;
  color: #000066
}

a {
  text-decoration: underline;
  color: #000099;
}

a:hover {
  text-decoration: underline;
}