Add the images to the repository.

The images are optimized to 8-bit PNG to save more bytes without any visual quality loss.
Simplify themes.md a little bit.
Add image dimensions in themes.
styles.css: consistency changes and remove unused selectors.
Simplify themes.md more.