Deployed e73f215a6 to 2023.9 in en with MkDocs 1.5.3 and mike 2.1.3

2025-12-07 00:11:14 +00:00 · 2024-08-20 19:07:44 +01:00
parent 31eff47e3f
commit d8a31f1010
125 changed files with 113675 additions and 0 deletions
--- a/en/2023.9/stylesheets/ft.extra.css
+++ b/en/2023.9/stylesheets/ft.extra.css
@@ -0,0 +1,13 @@
+.rst-versions  {
+    font-size: .7rem;
+    color: white;
+}
+
+.rst-versions.rst-badge .rst-current-version {
+    font-size: .7rem;
+    color: white;
+}
+
+.rst-versions .rst-other-versions {
+    color: white;
+}