diff --git a/docker/install/ubuntu_install_python_package.sh b/docker/install/ubuntu_install_python_package.sh
index d69f732f59f0..d07f19ed3c22 100755
--- a/docker/install/ubuntu_install_python_package.sh
+++ b/docker/install/ubuntu_install_python_package.sh
@@ -32,7 +32,6 @@ uv pip install --upgrade \
     Pillow==12.1.1 \
     "psutil~=7.0" \
     "pytest~=8.3" \
-    git+https://github.com/tlc-pack/tlcpack-sphinx-addon.git@768ec1dce349fe4708f6ad68be1ebb3f3dabafa1 \
     "pytest-profiling~=1.8" \
     "pytest-xdist~=3.6" \
     pytest-rerunfailures==16.1 \
@@ -42,4 +41,5 @@ uv pip install --upgrade \
     junitparser==4.0.2 \
     "six~=1.17" \
     "tornado~=6.4" \
-    "ml_dtypes~=0.5"
+    "ml_dtypes~=0.5" \
+    z3-static==4.16.0.post1
diff --git a/docker/install/ubuntu_install_sphinx.sh b/docker/install/ubuntu_install_sphinx.sh
index e40aff3e37d5..e0a4643841f6 100755
--- a/docker/install/ubuntu_install_sphinx.sh
+++ b/docker/install/ubuntu_install_sphinx.sh
@@ -29,5 +29,5 @@ uv pip install \
     sphinx==8.1.3 \
     sphinx_autodoc_annotation~=1.0 \
     sphinx-gallery==0.20.0 \
-    sphinx_rtd_theme==3.1.0 \
-    git+https://github.com/tlc-pack/tlcpack-sphinx-addon.git@dded1a3fbaf549485d8f7bb3f79ecb0484a11629
+    sphinx-book-theme==1.1.4 \
+    pydata-sphinx-theme==0.15.4