From d2bd9abc4d5e9b6b4a6414fd010cdb5995f32935 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 31 Jul 2022 09:51:54 -0700
Subject: [PATCH] Html template styles: remove span.underline.

Now we use `<u>` elements for underlined text, so this is
superfluous. (@mb21 correct me if I'm wrong.)
---
 data/templates/styles.html | 1 -
 1 file changed, 1 deletion(-)

diff --git a/data/templates/styles.html b/data/templates/styles.html
index d63d0ac67..88f7c1013 100644
--- a/data/templates/styles.html
+++ b/data/templates/styles.html
@@ -163,7 +163,6 @@ header {
 $endif$
 code{white-space: pre-wrap;}
 span.smallcaps{font-variant: small-caps;}
-span.underline{text-decoration: underline;}
 div.column{display: inline-block; vertical-align: top; width: 50%;}
 div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
 ul.task-list{list-style: none;}