/* For the styleswitcher */
body {font-size: 110%;}