#pining_nav {
	filter: none;
}
#searchformhead input[type=text] {
	font-size/*\**/: 6.37pt\9;
}
#searchformhead.no-submitform input.no-submit[type=text] {
	font-size/*\**/: 6.37pt\9;
}
body:not(:target) #searchformhead input[type=text] {
	font-size: 7.8pt\0/;
}

@media print {
	html,body {
		min-width:0;
		width:980px;
	}
}