Switch to default HTML theme for docs