docs: theme s/SymbiFlow/F4PGA/

Signed-off-by: Unai Martinez-Corral <umartinezcorral@antmicro.com>
diff --git a/docs/conf.py b/docs/conf.py
index f15ec72..ea4ba51 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -101,7 +101,7 @@
         "conf_py_path": "/doc/",
     }
 
-html_theme = 'sphinx_symbiflow_theme'
+html_theme = 'sphinx_f4pga_theme'
 
 html_theme_options = {
     'repo_name': 'chipsalliance/f4pga-v2x',
diff --git a/docs/requirements.txt b/docs/requirements.txt
index 07f2da9..5e0dec0 100644
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,4 +1,4 @@
-git+http://github.com/SymbiFlow/sphinx_symbiflow_theme.git@master#egg=sphinx_symbiflow_theme
+https://github.com/f4pga/sphinx_f4pga_theme/archive/f4pga.zip#sphinx-f4pga-theme
 
 docutils
 sphinx-autobuild
@@ -8,10 +8,10 @@
 sphinxcontrib-napoleon
 
 # Markdown cross-reference solver library
-git+https://github.com/SymbiFlow/sphinxcontrib-markdown-symlinks.git@master#egg=markdown_code_symlinks
+https://github.com/SymbiFlow/sphinxcontrib-markdown-symlinks/archive/master.zip#markdown_code_symlinks
 
 # HDL diagrams using Yosys + netlistsvg
-git+https://github.com/SymbiFlow/sphinxcontrib-hdl-diagrams.git@master#egg=sphinxcontrib-hdl-diagrams
+https://github.com/SymbiFlow/sphinxcontrib-hdl-diagrams/archive/master.zip#sphinxcontrib-hdl-diagrams
 
 pycairo
 # vext.gi
@@ -20,4 +20,4 @@
 -e ../
 
 # XML utils
-git+https://github.com/chipsalliance/vtr-xml-utils.git#egg=vtr-xml-utils
+https://github.com/chipsalliance/vtr-xml-utils/archive/master.zip#vtr-xml-utils