htmlstyle.css in metanorma-ogc-1.2.16

- old
+ new

@@ -1090,5 +1090,8 @@
   vertical-align: super;
   font-size: 0.8em; }
 
 .footnote {
   font-size: {{footnotefontsize}}; }
+
+span.hi {
+  background-color: yellow; }