/*** stylesheet added in via javascript link at top of page ***/
div#Page {font-size: 1.2em;}