This fixes a bug that remains in base.css, where it used explicit font family names and classes instead of relying on the browser to associate faces with styles. Fixes #23