@charset "UTF-8";


body {
	font-family: sans-serif;
	font-size: 11pt;
	line-height:14pt;
}



div#nav, div#infobox {
	display: none;
}

div#printinfo {
	display: block;
}


div#main {
	color: #000000;
}


a {
	border-bottom: 1px solid yellow;
	text-decoration:none;
	font-weight:bold;
	color: black;
}



a:link:after, a:visited:after {
	content: " " attr(href) " ";
	font-size: 60%;
	font-weight:normal;
	color: #000;
	background: transparent;
}


h1 {
	font-size: 14pt;
}


h2 {
	font-size: 1.5em;
}

.def {
	background-color: #FFFFCC;
}


.emphasis {
	border: 1px solid black;
	background-color: #333333;
}