body {
  font-size:		10pt;
}
div#leftmenu {
  display:		none;
}
a:link:after, a:visited:after {
  content:		" [" attr(href) "] ";
  font-size:		90%;
  text-decoration:	none;
  color:		#333333;
}