--- 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 = []