body{
	font-size: 13px;
	line-height: 16px;
	}
	
#page{
	width:650px;
	border: 0px solid black;
	}	
	
#content .ieprintonly {
	margin-top:20px;
	width: 650px;
	}

#topnav{
  font-size: 11px;
  }

#topnav,  
#content p.top,
#content p.puba{
	display: none}
	
#content p.pub{
	margin-right:50px}