adds initial dotfiles

2026-05-15 14:13:12 +02:00
parent 5e88941adf
commit dc0bfb0d23
135 changed files with 81606 additions and 0 deletions
@@ -0,0 +1,32 @@
+notebook {
+    background-color: #080c08;
+    border: 1px solid #0b110b;
+}
+
+notebook header {
+    background-color: #131d13;
+}
+
+notebook tab {
+    padding: 4px 8px;
+    border: 1px solid transparent;
+    border-radius: 8px 8px 0 0;
+    transition: all 0.2s ease;
+}
+
+notebook tab:hover {
+    background-color: #424a42;
+}
+
+notebook tab:checked {
+    background-color: #080c08;
+    border-color: #0b110b;
+    border-bottom-color: transparent;
+    border-bottom: 2px solid #1c7a44;
+    box-shadow: inset 0 -2px 0 #1c7a44;
+}
+
+notebook tab label {
+    font-weight: bold;
+    color: #c0c0c0;
+}