You can also use PRS+ to easily change font-sizes. You just need to create a series of .css files, each containing a different font-size (as well as your chosen font-family) e.g.
body {font-size: 0.90em; font-family:whatever}
body {font-size: 0.95em; font-family:whatever}
|