* Small changes to the theme.

* Bug fixes.
