From 19babff18e95896639f1de01785f2b7ea8608beb Mon Sep 17 00:00:00 2001
From: Unai Martinez-Corral <unai.martinezcorral@ehu.eus>
Date: Sat, 25 Feb 2023 17:18:36 +0100
Subject: doc: change theme to 'furo'

---
 doc/_static/theme_overrides.css     |  3 --
 doc/_static/theme_overrides.old.css | 58 -------------------------------------
 doc/conf.py                         | 15 +---------
 doc/requirements.txt                |  3 ++
 4 files changed, 4 insertions(+), 75 deletions(-)
 delete mode 100644 doc/_static/theme_overrides.css
 delete mode 100644 doc/_static/theme_overrides.old.css

(limited to 'doc')

diff --git a/doc/_static/theme_overrides.css b/doc/_static/theme_overrides.css
deleted file mode 100644
index c87b7353d..000000000
--- a/doc/_static/theme_overrides.css
+++ /dev/null
@@ -1,3 +0,0 @@
-.rst-content img.shield {
-  max-width: unset;
-}
diff --git a/doc/_static/theme_overrides.old.css b/doc/_static/theme_overrides.old.css
deleted file mode 100644
index 4a5cae28e..000000000
--- a/doc/_static/theme_overrides.old.css
+++ /dev/null
@@ -1,58 +0,0 @@
-/* Change font sizes*/
-html,body{font-size:98%;}
-p{font-size:95%;margin-bottom:12px}
-.wy-breadcrumbs li.wy-breadcrumbs-aside{font-size:95%}
-.rst-versions{font-size:50%}
-.rst-versions .rst-current-version {font-size: 165%}
-.rst-versions dd{font-size:175%}
-footer {font-size: 75%;}
-.rst-footer-buttons {font-size: 140%;}
-
-/*Shrink left nav to 260px*/
-.wy-nav-side,.rst-versions,.wy-side-nav-search,.wy-menu-vertical{width: 260px}
-.wy-nav-content-wrap{margin-left:260px;background:#fcfcfc;min-height:100%}
-@media screen and (max-width: 768px){
-  .wy-nav-top i {padding-top:7px}
-  .wy-nav-content-wrap{margin-left:0px}
-  .wy-nav-content-wrap.shift{margin-left:260px;position: static;}
-  .wy-nav-side.shift{width:260px;padding-bottom: 40px;}
-  .rst-versions{width:260px}
-  .wy-side-scroll{width:280px;}
-}
-
-/*Fix shields in small screens*/
-@media screen and (max-width: 768px){img{width: auto}}
-/*Fix shield sizes in WhoUsesGHDL*/
-.whouses>.wy-table-responsive img {width:auto;height:20px !important;;display:inline}
-.whouses>.wy-table-responsive td {text-align:center}
-.whouses>.wy-table-responsive>table>thead th{min-width:130px !important}
-.whouses>.wy-table-responsive td:last-child{text-align: left}
-
-/*Remove 1 indentation space in the sidemenu items*/
-.wy-menu-vertical li.current a, .wy-menu-vertical li.toctree-l2.current > a{padding:0.4045em 1.618em}
-.wy-menu-vertical li.toctree-l2.current li.toctree-l3 > a{padding: 0.4045em 1.8em}
-.wy-menu-vertical li.toctree-l3.current li.toctree-l4 > a{padding: 0.4045em 2.618em}
-
-/*Remove empty add*/
-div.wy-menu.rst-pro{display: none !important;max-width: 260px}
-
-/*Simplify 'versions' tab*/
-.rst-versions dt{display:none}
-.rst-versions dd a[href$='.rst'] {display: none}
-.rst-versions dd a[href$='/downloads/'] {display: none}
-.rst-versions .wy-form{display:none !important;}
-.rst-versions .rst-other-versions dd a{padding: 3px}
-.rst-versions .rst-other-versions strong dd a{color: #27AE60}
-.rst-versions .rst-other-versions hr{margin: 5px 0; margin-top: -14px}
-
-.rst-versions {border-top: none}
-
-/*Last doc build date*/
-.lastdocbuilddate {position:fixed;padding-top:30px;font-size:70%;color:#999}
-
-/*Reduce space between footnotes*/
-.footnotes > .wy-table-responsive {margin-top:-12px;margin-bottom:12px}
-
-/*Reduce margin below lists*/
-.rst-content .section ul, .rst-content .toctree-wrapper ul, article ul {margin-bottom: 12px}
-.rst-content blockquote {margin-bottom: 12px;}
diff --git a/doc/conf.py b/doc/conf.py
index 71d542204..dbe43d056 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -77,7 +77,6 @@ except Exception as ex:
     rst_prolog = ""
 
 
-
 # ==============================================================================
 # Options for HTML output
 # ==============================================================================
@@ -86,19 +85,7 @@ ctx = ROOT / "context.json"
 if ctx.is_file():
     html_context.update(json_loads(ctx.open("r").read()))
 
-if (ROOT / "_theme").is_dir():
-    html_theme_path = ["."]
-    html_theme = "_theme"
-    html_theme_options = {
-        "logo_only": True,
-        "home_breadcrumbs": False,
-        "vcs_pageview_mode": "blob",
-    }
-    html_css_files = [
-        "theme_overrides.css",
-    ]
-else:
-    html_theme = "alabaster"
+html_theme = "furo"
 
 html_static_path = ['_static']
 # '/public' will contain the output from gnatdoc
diff --git a/doc/requirements.txt b/doc/requirements.txt
index 08587a278..11800c41d 100644
--- a/doc/requirements.txt
+++ b/doc/requirements.txt
@@ -11,5 +11,8 @@ autoapi>=2.0.1
 sphinx_fontawesome>=0.0.6
 sphinx_autodoc_typehints>=1.19.5
 
+# Theme
+furo
+
 # BuildTheDocs Extensions (mostly patched Sphinx extensions)
 btd.sphinx.autoprogram>=0.1.7.post1
-- 
cgit v1.2.3