body {
  font-family: Dejavu, sans-serif;
  text-align: center;
  line-height: 1.6em;
  color: #111;
  background-color: #7f8c9d;
  margin: 0;
  padding: 0;
}

div#shadow {
  text-align: center;
  margin: 0 auto;
  padding: 0;
  border-left: 16px solid #747e8e;
  border-right: 16px solid #747e8e;
  width: 55em;
}

div#border {
  margin: 0;
  border-left: 1px solid #babfc6;
  border-right: 1px solid #babfc6;
}

div#paper {
  text-align: left;
  background-color: white;
  margin: 0;
  border-left: 3px solid #747e8e;
  border-right: 3px solid #747e8e;
  padding: 3em 5em 3em 4.5em;
}

h1, h2, h3, h4 {
  font-family: "Dejavu Sans Condensed", sans-serif;
  font-weight: normal;
  color: #444466;
}

h1 a, h1 a:visited {
  color: #444466;
}

h1 a:link, h1 a:visited {
  border: none;
}

h3 {
  margin-bottom: 0;
}

h3 + p {
  margin-top: 0.5em;
}

a {
  color: #333366;
}

a:link, a:visited {
  text-decoration: none;
  border-bottom: 1px solid #ccc;
}

a:visited {
  color: #666666;
}

a:hover {
  color: black;
}

h1#headline {
  text-align: center;
  margin-top: 0.7em;
  margin-bottom: 1.7em;
}

ul#menu {
  font-size: small;
  float: right;
  text-align: right;
  margin: 0;
  padding: 0;
  margin-top: -7em;
  margin-left: 2em;
  margin-right: -2.5em;
  margin-bottom: 5em;
  list-style: none;
}

div#news {
  margin-top: 2em;
}

div#news h2 {
  margin-bottom: 1em;
}

ul {
  list-style: square;
  padding-left: 2em;
}

img {
  border: none;
}

a.empty {
  border: none;
}

/* This "design" was very much "inspired by"
   http://37signals.com/papers/intropatterns/
   (although reworked slightly avoiding px-width of the "paper" and
   hacks to fool Micosoft Internet Explorer.) */