From a518fb1031438b1544a5f47bf5de0621d0f1c7f3 Mon Sep 17 00:00:00 2001 From: Simon Mo Date: Wed, 30 Sep 2020 16:16:55 -0700 Subject: [PATCH] [Doc] Use different pygments_style (#11143) --- doc/requirements-doc.txt | 3 +-- doc/source/conf.py | 2 +- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/doc/requirements-doc.txt b/doc/requirements-doc.txt index 6317b37e8..d72917fff 100644 --- a/doc/requirements-doc.txt +++ b/doc/requirements-doc.txt @@ -24,8 +24,7 @@ sphinx-gallery sphinx-jsonschema sphinx-tabs sphinx-version-warning -# TODO(simon): Use sphinx book theme released version -git+https://github.com/executablebooks/sphinx-book-theme.git@0a87d26e214c419d2e6efcadddab4be8ae7b2c21 +sphinx-book-theme tabulate uvicorn werkzeug diff --git a/doc/source/conf.py b/doc/source/conf.py index 32d41c7bf..f327767cf 100644 --- a/doc/source/conf.py +++ b/doc/source/conf.py @@ -222,7 +222,7 @@ exclude_patterns += sphinx_gallery_conf['examples_dirs'] #show_authors = False # The name of the Pygments (syntax highlighting) style to use. -pygments_style = 'sphinx' +pygments_style = 'pastie' # A list of ignored prefixes for module index sorting. #modindex_common_prefix = []