Some restyling of settings page, minor fixes for themes.

Related to #7.