body, body *
{
    font-size: 9pt;
}
body
{
    border: 0;
}
h1 
{
    font-size: 28pt;
}
h2 
{
    font-size: 20pt;
}
h3 
{
    font-size: 14pt;
}
h4 
{
    font-size: 12pt;
}
h5 
{
    font-size: 10pt;
}
h6 
{
    font-size: 9pt;
}
#content {
  margin: 0 5%;
}

#navigation
{
    display: none;
}
pre 
{
    overflow: visible;
}
a.external
{
    background: none !important;
    padding: 0 !important;
}
#content a:link:after, #content a:visited:after {
   content: " (" attr(href) ") ";
   font-size: 90%;
   }