Change the intro: fixes #101. Replace section intros with text from p…

…rompts.js, and standardise headings.
w3c · Nov 1, 2024 · 2195703 · 2195703
1 parent 476b8df
commit 2195703
Show file tree

Hide file tree

Showing 2 changed files with 90 additions and 140 deletions.
diff --git a/index-data/local.css b/index-data/local.css
@@ -194,4 +194,26 @@ div.exampleBox {
 .linkList li:before { content: '\2022'; color:red; margin-left: .3em; margin-right:.6em; }
 
 
-.dot { color: red; margin: 0 .75em; }
+.dot { color: red; margin: 0 .75em; }
+
+
+.status_prompt {
+    font-style: italic;
+    color: #666;
+    font-size: 90%;
+    margin-bottom: 4em;
+    }
+
+
+
+
+
+
+
+
+
+
+
+
+
+