body, td, th {font-size: 85%;}
div#navigation {width:533;}