From 9f2a936f44804833e401d1076116f319e46afd2f 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 4a4efd8..4317ecf 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 ;