Deployed c57db0a33 to 2022.5.1 in en with MkDocs 1.3.0 and mike 2.1.3

2025-12-05 15:31:14 +00:00 · 2024-08-20 19:03:02 +01:00
parent 445a0d3fbe
commit 4f451d5250
93 changed files with 70650 additions and 0 deletions
--- a/en/2022.5.1/stylesheets/ft.extra.css
+++ b/en/2022.5.1/stylesheets/ft.extra.css
@@ -0,0 +1,28 @@
+.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;
+}
+
+
+#widget-wrapper {
+    height: calc(220px * 0.5625 + 18px);
+    width: 220px;
+    margin: 0 auto 16px auto;
+    border-style: solid;
+    border-color: var(--md-code-bg-color);
+    border-width: 1px;
+    border-radius: 5px;
+}
+
+@media screen and (max-width: calc(76.25em - 1px)) {
+    #widget-wrapper { display: none; }
+}