#header,
#navigation,
#profile,
#site-search,
#sidebar,
#footer,
form {
    display: none;
}

* {
    font-family: sans-serif;
    font-size: 12pt;
    color: #000000;
}

a:link:after,
a:visited:after {
    content: ' (' attr(href) ')';
}

a[href^="/"]:after {
  content: '';
}

h1, h1 * {
    font-size: 18pt;
    border-bottom: 1pt dotted #000000;
    font-weight: bold;
    text-decoration: none;
}

h2, h2 * {
    font-size: 14pt;
    font-weight: bold;
    text-decoration: none;
}

pre {
  padding: 2pt 4pt;
  overflow: visible;

  border: 1pt solid #cccccc;
}

pre, pre * {
  font-family: monospace;
  font-size: 10pt;
}

pre span.code_line:before {
  content: attr(title)':';

  padding: 0;
  margin: 0 6pt 0 0;

  font-weight: bold;
  color: #747474;
}