From 045f3d37bf330dca5d2492a3a03d1eeecb7077f3 Mon Sep 17 00:00:00 2001
From: "Bryan W. Weber" <bryan.w.weber@gmail.com>
Date: Fri, 10 Aug 2018 09:39:32 -0400
Subject: [PATCH] [Doc] Fix CSS font specification for Alabaster theme

The font themes must be specified as a string rather than a list.
---
 doc/sphinx/conf.py | 24 +++++++++++++-----------
 1 file changed, 13 insertions(+), 11 deletions(-)

diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index f233361b0..be7fe4d2f 100644
--- a/doc/sphinx/conf.py
+++ b/doc/sphinx/conf.py
@@ -129,40 +129,42 @@ pygments_style = 'sphinx'
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
 html_theme = 'cttheme'
-html_sidebars = {'**': ['localtoc.html', 'relations.html', 'sourcelink.html', 'searchbox.html', 'numfocus.html']}
+html_sidebars = {
+    '**': ['localtoc.html', 'relations.html', 'sourcelink.html', 'searchbox.html', 'numfocus.html'],
+}
 
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the
 # documentation.
 
-# Copy the Bootstrap 4 font families
+# Copy the Bootstrap 4 font families.
 font_families = [
     # Default on Apple
     '-apple-system',
     # Default for older versions of Chrome on Mac
     'BlinkMacSystemFont',
     # Windows
-    'Segoe UI',
+    '"Segoe UI"',
     # Android
     'Roboto',
     # Standard fallbacks
-    'Helvetica Neue', 'Arial', 'sans-serif',
+    '"Helvetica Neue"', 'Arial', 'sans-serif',
     # Emoji fonts
-    'Apple Color Emoji', 'Segoe UI Emoji', 'Segoe UI Symbol', '!default']
+    '"Apple Color Emoji"', '"Segoe UI Emoji"', '"Segoe UI Symbol"']
 
 code_font_families = [
     'SFMono-Regular',
     'Menlo',
     'Monaco',
     'Consolas',
-    'Liberation Mono',
-    'Courier New', 'monospace'
+    '"Liberation Mono"',
+    '"Courier New"', 'monospace'
 ]
 html_theme_options = {
-    'font_family': font_families,
-    'head_font_family': font_families,
-    'caption_font_family': font_families,
-    'code_font_family': code_font_families,
+    'font_family': ','.join(font_families),
+    'head_font_family': ','.join(font_families),
+    'caption_font_family': ','.join(font_families),
+    'code_font_family': ','.join(code_font_families),
 }
 
 # Add any paths that contain custom themes here, relative to this directory.