Use browser's default font size

Some users configure their browsers to have a larger or smaller default font size. Hardcoding a pixel size makes those users sad.