Further theme & language support

Options page refreshes upon selection. About & Options pages now support
multiple languages (About still changes to English for most of it
though, regardless of language). All pages should now partially support
themes (background).