From a6e95827c25f354df1a44ba04cf5f6fa2a2ee312 Mon Sep 17 00:00:00 2001
From: Andy Seaborne <andy@apache.org>
Date: Tue, 26 Nov 2024 16:43:37 +0000
Subject: [PATCH] Use ReSpec for notes. Remove local .note CSS styling

---
 spec/index.html | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/spec/index.html b/spec/index.html
index a3ce9f7..92d630e 100644
--- 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 ;