body,
h1, h2, h3 {
  font-family: "DejaVu Sans", sans-serif;
  font-size: 0.8em;
}

/*div#wrap {
  width: 86em;
}

div#content {
  width: 50em;
}*/

body {
border-top: 2px solid black;
color: #333;
}

#header h1 {
  font-family: "Liberation Serif", serif;
 letter-spacing: 3px;
}

div.entrybody h3 {
   margin: 1em 0;
   font-weight: bold;
}

div.entrybody table {
  margin: 1em 0;
}

p.line862 {
margin: 0;
}

#footer {
background: black url(http://planet.gnome.org/img/footer-bg.png) repeat-x scroll left top;
}

a img { border: none; }

div.aligncenter {
  margin: 0 auto;
  text-align: center;
}

p.wp-caption-text { font-style: italic;
}