Also allow default theme for documentation.

Fix #134