blob: 6fd373c5e775608c1e22d61e65bc9cd4f9a3500e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
--- 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 = []
|
