<!--

/* For printing, only the text-only css (made for media other than normal modern browsers such as crap browsers,
mobile devices, screen readers and stuff) is used, but we have do adpapt it a bit for more printout.
*/

a:visited {
	color:#4D0000; /* because completely irrelevant */
}

#path .activepath:after {
	content: " (print version)";
}

#maincontent p a:after, #maincontent ul a:after, #maincontent ol a:after, #maincontent li a:after, #maincontent span a:after {
  content: " (" attr(href) ")"; /*cos you wanna see the actual hyperlinks.*/
}

/* There's a whole lot of screen specific information that we don't need */

#topbar, .top, #navigation,#language,#logo,#caption,#symbols,form,#standards,.schliessen {
	display:none;
}
	
.highlights ul {
	font-weight:bold;
	border-left-style:solid;
	border-left-color:#4D0000;
	border-left-width:4pt;
	padding-left:12pt;
	list-style:none;
}

-->