Use new theme for documentation