Remove local CSS for RFC2119

w3c · Nov 27, 2024 · b03af12 · b03af12
1 parent 19cca58
commit b03af12
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/spec/index.html b/spec/index.html
@@ -337,10 +337,6 @@
   div.exampleWrapper { margin: 4px }
   div.exampleHeader { font-weight: bold;
                     margin: 4px}
-
-  em.rfc2119 { text-transform: lowercase;
-             font-variant: small-caps;
-             font-style: normal; }
     </style>
   </head>
   <body>