Ported 'default' theme.

This updates #10.