Initial commit

2025-08-16 08:05:57 +00:00 · 2022-11-04 11:53:06 +01:00
parent 89bacb501e
commit 3689852205
36 changed files with 1962 additions and 1 deletions
--- a/doc/_static/css/project-template.css
+++ b/doc/_static/css/project-template.css
@@ -0,0 +1,16 @@
+@import url("theme.css");
+
+.highlight a {
+    text-decoration: underline;
+}
+
+.deprecated p {
+    padding: 10px 7px 10px 10px;
+    color: #b94a48;
+    background-color: #F3E5E5;
+    border: 1px solid #eed3d7;
+}
+
+.deprecated p span.versionmodified {
+    font-weight: bold;
+}