--- tools/lldb/docs/conf.py.orig
+++ tools/lldb/docs/conf.py
@@ -97,9 +97,9 @@
 # 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.
-html_theme_options = {
-    'font_size': '11pt'
-}
+#html_theme_options = {
+#    'font_size': '11pt'
+#}
 
 # Add any paths that contain custom themes here, relative to this directory.
 #html_theme_path = []