issue#193 - reduced font size in header.php