Auto-publish on Wed 6 Aug 22:49:29 BST 2025

output/style.css

@@ -6,53 +6,92 @@
   --code-bg: #f0f0f0;
 }
 
-body.dark {
-  --bg: #121212;
-  --fg: #e0e0e0;
-  --link: #8ab4f8;
-  --heading: #7baaf7;
-  --code-bg: #1e1e1e;
-}
 
 body {
-  font-family: sans-serif;
-  max-width: 700px;
-  margin: 2rem auto;
-  padding: 1rem;
-  line-height: 1.6;
   background-color: var(--bg);
   color: var(--fg);
   transition: background-color 0.3s, color 0.3s;
 }
 
+/* Headings (override org.css if needed) */
 h1, h2, h3 {
   color: var(--heading);
 }
 
+/* Links */
 a {
   color: var(--link);
-  text-decoration: none;
 }
-
 a:hover {
   text-decoration: underline;
 }
 
-pre, code {
-  background: var(--code-bg);
-  padding: 0.2em 0.4em;
+/* Copy button inside code blocks */
+.copy-btn {
+  position: absolute;
+  top: 0.4em;
+  right: 0.4em;
+  background-color: var(--code-bg);
+  color: var(--heading);
+  border: 1px solid var(--heading);
   border-radius: 4px;
-  font-family: monospace;
+  padding: 0.2em 0.6em;
+  font-size: 0.8rem;
+  cursor: pointer;
+  z-index: 10;
+  transition: background-color 0.3s;
 }
 
-/* Toggle button */
-#theme-toggle {
-  position: fixed;
-  top: 1rem;
-  right: 1rem;
-  padding: 0.4em 0.8em;
-  background: var(--code-bg);
-  border: none;
-  border-radius: 5px;
-  cursor: pointer;
+.copy-btn:hover {
+  background-color: var(--heading);
+  color: var(--code-bg);
+}
+
+/* Nav styling */
+nav {
+  border-radius: 6px;
+  margin-bottom: 1rem;
+  font-weight: 600;
+  font-size: 1.1rem;
+}
+
+nav a {
+  color: var(--link);
+  text-decoration: none;
+  font-weight: 600;
+}
+
+nav a:hover {
+  text-decoration: underline;
+}
+
+/* Footer styling */
+footer {
+  color: var(--fg);
+  padding: 1rem;
+  margin-top: 2rem;
+  border-radius: 6px;
+  text-align: center;
+  font-size: 0.9rem;
+  font-style: italic;
+  
+}
+#updated {
+  font-size: 0.8rem;
+  color: var(--fg);
+  margin-bottom: 1rem;
+  font-style: italic;
+}
+pre.src::before {
+  content: none !important;
+}
+/* Container: <pre> */
+pre.src {
+    padding: 1.5em 1em 1em 1em; /* top padding leaves space for button */
+    font-family: "Fira Mono", "Courier New", monospace;
+    font-size: 0.9rem;
+    line-height: 1.4;
+    overflow-x: auto;
+    white-space: pre-wrap; /* wrap long lines */
+    
 }