From 5faf0ca19db9aa5f4bdea8ea90225f554e2d569b Mon Sep 17 00:00:00 2001
From: Hassan Kibirige <has2k1@gmail.com>
Date: Sat, 30 Dec 2017 21:59:47 -0600
Subject: [PATCH] DOC: No smart_quotes

---
 doc/Makefile         | 9 +++++++--
 doc/docutils.conf    | 3 +++
 tools/build_theme.sh | 2 +-
 3 files changed, 11 insertions(+), 3 deletions(-)
 create mode 100644 doc/docutils.conf

diff --git a/doc/Makefile b/doc/Makefile
index 569ebc7..8ab2bd0 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -9,7 +9,10 @@ BUILDDIR      = _build
 
 # For make theme
 BOOTSWATCHTHEME = united
-PRIMARY = \#145FCE
+# PRIMARY = \#145FCE
+brand-primary = \#145FCE
+headings-font-weight = bold
+font-family-sans-serif = '"Lato", "proxima-nova", "Helvetica Neue", Arial, sans-serif'
 
 # User-friendly check for sphinx-build
 ifeq ($(shell which $(SPHINXBUILD) >/dev/null 2>&1; echo $$?), 1)
@@ -182,4 +185,6 @@ pseudoxml:
 
 theme:
 	../tools/build_theme.sh --theme $(BOOTSWATCHTHEME) \
-	   --brand-primary '$(PRIMARY)'
+	   --brand-primary '$(brand-primary)' \
+	   --headings-font-weight $(headings-font-weight) \
+	   --font-family-sans-serif '$(font-family-sans-serif)'
diff --git a/doc/docutils.conf b/doc/docutils.conf
new file mode 100644
index 0000000..0a14344
--- /dev/null
+++ b/doc/docutils.conf
@@ -0,0 +1,3 @@
+# These entries affect all processing:
+[general]
+smart_quotes: no
diff --git a/tools/build_theme.sh b/tools/build_theme.sh
index e670da3..d4f8498 100755
--- a/tools/build_theme.sh
+++ b/tools/build_theme.sh
@@ -21,6 +21,6 @@ cp -rf theme $toplevel/doc
 # Do a hotswap (it may be enough for us to see the results compared to
 # regenerating the html)
 cd $toplevel
-cp $toplevel/doc/{theme/static,_build/html/_static}/bootstrap-3.3.6/css/bootstrap.min.css
+cp $toplevel/doc/{theme/static,_build/html/_static}/bootstrap-*/css/bootstrap.min.css
 
 echo "${color5}success${reset}"