Reduce font size of title in docs.

repo-helper · Nov 19, 2020 · a77de2e · a77de2e
1 parent f5cbcba
commit a77de2e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/doc-source/_static/style.css b/doc-source/_static/style.css
@@ -4,3 +4,7 @@ div.highlight {
     -moz-tab-size: 4; /* Firefox */
     tab-size: 4;
 }
+
+.sidebar-brand-text {
+    font-size: 1.4rem;
+}
diff --git a/repo_helper.yml b/repo_helper.yml
@@ -36,3 +36,5 @@ travis_pypi_secure: "mCuyM6RFwcMMB6TMDDk4xEWTVyQA9sNYaLHPDovEpPsFl0kV4p20i4S4ahb
 sphinx_html_theme: furo
 
 standalone_contrib_guide: true
+
+preserve_custom_theme: true