From a77de2ed6d0cd0dd6539af7e6f0b018fe8fa5726 Mon Sep 17 00:00:00 2001
From: Dominic Davis-Foster <dominic@davis-foster.co.uk>
Date: Thu, 19 Nov 2020 17:18:55 +0000
Subject: [PATCH] Reduce font size of title in docs.

---
 doc-source/_static/style.css | 4 ++++
 repo_helper.yml              | 2 ++
 2 files changed, 6 insertions(+)

diff --git a/doc-source/_static/style.css b/doc-source/_static/style.css
index 13dc6b0..b06f132 100644
--- 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
index 6f7862d..d24d9f4 100644
--- 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