styles.css: consistency changes and remove unused selectors.
Simplify themes.md more.