body {font-size: 80.5%;}

/* don't increase size of datetime */
div#stripleft {font-size: 57%;}

div#prospectus {font-size: 85%;}