change api docs theme (haiku -> rtd_theme)

issp-center-dev · Oct 31, 2024 · 5cc6ab7 · 5cc6ab7
1 parent 9dd6991
commit 5cc6ab7
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/build_docs.yml b/.github/workflows/build_docs.yml
@@ -31,7 +31,7 @@ jobs:
     - name: Install python packages
       run: |
         python -m pip install --upgrade pip
-        pip install sphinx
+        pip install sphinx sphinx-rtd-theme
         cd ${GITHUB_WORKSPACE}/main
         python -m pip install '.[all]'
 

diff --git a/.github/workflows/deploy_docs.yml b/.github/workflows/deploy_docs.yml
@@ -37,7 +37,7 @@ jobs:
     - name: Prepare LaTeX env
       run: |
         sudo apt update
-          sudo apt install openmpi-bin libopenmpi-dev
+        sudo apt install openmpi-bin libopenmpi-dev
         sudo apt install \
           texlive-latex-recommended texlive-latex-extra texlive-xetex \
           texlive-lang-japanese texlive-fonts-recommended texlive-fonts-extra latexmk
@@ -46,7 +46,7 @@ jobs:
     - name: Install python packages
       run: |
         python -m pip install --upgrade pip
-        pip install sphinx
+        pip install sphinx sphinx-rtd-theme
 
     - name: Build
       run: |

diff --git a/doc/api/source/conf.py b/doc/api/source/conf.py
@@ -32,7 +32,7 @@
 # -- Options for HTML output -------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-html-output
 
-html_theme = "haiku"
+html_theme = "sphinx_rtg_theme"
 html_static_path = ['_static']
 
 # -- Options for todo extension ----------------------------------------------