Restart repo

2023-12-30 22:30:42 +01:00
commit 1c4278a3d8
37 changed files with 3019 additions and 0 deletions
--- a/_static/custom.css
+++ b/_static/custom.css
@@ -0,0 +1,21 @@
+/*  Copyright (C)  2023  Jeremie Salvi.
+  Permission is granted to copy, distribute and/or modify this document
+  under the terms of the GNU Free Documentation License, Version 1.3
+  or any later version published by the Free Software Foundation;
+  with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
+  A copy of the license is included in the section entitled "GNU
+  Free Documentation License". */
+
+.rst-content pre.literal-block, .rst-content div[class^="highlight"] {
+  background: #282c34;
+  color: #abb2bf;
+  border: 1px solid #333842;
+}
+
+.rst-content div.highlight span.linenos {
+  border-right: 1px solid #333842;
+}
+
+.rst-content div[class^="highlight"] pre .hll {
+  background-color: #13533b;
+}