/* hide elements */

#top_navigation, #menu, div#footer ul, #footer p.languages, #footer p img, #logo span, #footer p.w3c {
	display: none;
}

div#header, div#header h1#logo, div#header h1#logo a {
	height: 1cm;
	clear: both;
}

  div#content a:link:after,
  div#content a:visited:after {
      content: " (" attr(href) ") ";
      font-size: 90%;
    }
    html.noted div#content a:link:after,
    html.noted div#content a:visited:after {
      content: '';
    }