body {
	font-size: 10pt;
}
#article_content {
	font-size: 10pt;
}
#search {
	font-size: 9pt;
}
.t0i {
	font-size: 9pt; 
}