Simplified theme implementation.

* Themes are now implemented by adding a class to the `body` tag.
* Tabs now properly display their borders.
* Some minor theme bugs fixed.

Resolves issues #103, #120, and partially resolves issue #49.