Refreshes Retype-generated documentation.

Process triggered by nbats.
2023-08-10 08:14:47 +00:00
parent 8443eaac1a
commit 524be739a1
27 changed files with 429 additions and 376 deletions
--- a/static/styles.css
+++ b/static/styles.css
@@ -10,3 +10,11 @@ html.dark ul.flex-col > li > a > svg {
 :not(html.dark) ul.flex-col > li > a > svg  {
  color: rgb(47 51 72/var(--tw-text-opacity));
 }
+
+/* Hide filter from sidebar */
+div.left-0:nth-child(2) {
+  display: none;
+}
+aside ul:nth-child(3) {
+  margin-top: 1em;
+}