bump to version 0.7.21

2023-07-30 17:05:25 +02:00
parent 4565d98718
commit 60d9dc35c0
103 changed files with 3561 additions and 3401 deletions
--- a/docs/en/_static/basic.css
+++ b/docs/en/_static/basic.css
@ -670,6 +670,16 @@ dd {
    margin-left: 30px;
 }

+.sig dd {
+    margin-top: 0px;
+    margin-bottom: 0px;
+}
+
+.sig dl {
+    margin-top: 0px;
+    margin-bottom: 0px;
+}
+
 dl > dd:last-child,
 dl > dd:last-child > :last-child {
    margin-bottom: 0;
@ -738,6 +748,14 @@ abbr, acronym {
    cursor: help;
 }

+.translated {
+    background-color: rgba(207, 255, 207, 0.2)
+}
+
+.untranslated {
+    background-color: rgba(255, 207, 207, 0.2)
+}
+
 /* -- code displays --------------------------------------------------------- */

 pre {
--- a/docs/en/_static/documentation_options.js
+++ b/docs/en/_static/documentation_options.js
@ -1,6 +1,6 @@
 var DOCUMENTATION_OPTIONS = {
    URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
-    VERSION: '0.7.20',
+    VERSION: '0.7.21',
    LANGUAGE: 'en',
    COLLAPSE_INDEX: false,
    BUILDER: 'html',
--- a/docs/en/_static/styles/furo.css
+++ b/docs/en/_static/styles/furo.css
--- a/docs/en/_static/styles/furo.css.map
+++ b/docs/en/_static/styles/furo.css.map