Use default theme for documentation.