/* This is just a placeholder, it's required for the font-size switching script to work properly in all browsers.
All default-sized fonts are in the main stylesheets (styles.css and styles-peamain.css). */