* { font-size: 15px; }

div.pageTitle, div#AreaTitle, div#Navigation a.area, div#Navigation a.areaselected {
	font-size: 17px; 
}

div#Header span#FontSizes a.toNormal { display: block; }
div#Header span#FontSizes a.toLarge { display: none; }