define normal font widths in all themes to make sure things look the same after #691