DOC: No smart_quotes

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)'

doc/docutils.conf

@@ -0,0 +1,3 @@
+# These entries affect all processing:
+[general]
+smart_quotes: no

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}"