@charset "utf-8";
/* 
 * Print stylesheet:
 * sanitize the HTML, remove
 * weblinks, navigation
 * "serify" font
 * @import url('common.css');
 */

body {
	font-family:Georgia, "Times New Roman", Times, serif;
	font-size:smaller;
}

#navigation, #footer,  #portal-globalnav, #header, .hiddenStructure {
	display:none;
}

#content {	
	padding: 0;
	margin:0;
	line-height:130%;
}

#header img {
	display:block;
	position:absolute;
	top:1ex;
	left:1ex;
	width:100px;
	height:25px;
}

/* TODO: implement this somewhere */
#date {
	display:block;
	position:absolute;
	top:3em;
	right:4em;
	width:10em;
}