Use ReSpec for notes. Remove local .note CSS styling

w3c · Dec 16, 2024 · b2b3233 · b2b3233
1 parent a545cf0
commit b2b3233
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/spec/index.html b/spec/index.html
@@ -116,9 +116,6 @@
                   margin: 1em 4em 1em 0em ; }
 .return, .type	{ color: #177 }
 
-/* == Notes ==  */
-.note		{ margin-left: 2.5em; margin-right: 4ex ; font-size: 85% ; font-style: italic ; }
-
 /* Definitions */
 .defn		{ margin-left:0 ; margin-right: 2ex; 
                   margin-top: 0.1ex ; margin-bottom: 0.1ex ;