message: change docs theme
diff: @@ -74,7 +74,7 @@ pygments_style = None
  # The theme to use for HTML and HTML Help pages. See the documentation for
  # a list of builtin themes.
  #
  -html_theme = "alabaster"
  +html_theme = "classic"
  # 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
  