/* CSS definition file containing site wide stylesheets */
BODY { font-family: Georgia, Palatino, 'Times New Roman', Times, Serif; font-size: large;}