body {
  color : #000000;
  background-color : #fff;
  font-family : "Times New Roman", Times, serif;
  font-size : 11pt;
}
a {
  text-decoration : underline;
  color : #0000ff;
  background-color:inherit;
}
#navigation, #tree, #flashcontent, #leftbar, h1, .search, .footer, #leftbar, .leftbox, #navigation li, #menugore, #lang, .FSF_form, .poll, #top  {
  display: none;
}