From: Andy Allan <git@gravitystorm.co.uk>
Date: Wed, 15 Nov 2023 19:46:43 +0000 (+0000)
Subject: Underline time elements that have a title
X-Git-Tag: live~1292^2
X-Git-Url: https://git.openstreetmap.org./rails.git/commitdiff_plain/dbe84a97bf48789e0f32a185f701840fc68063bd?ds=sidebyside;hp=--cc

Underline time elements that have a title

This replicates the previous use of abbr tags, with improved semantics.

Although we only use time tags in one place at the moment, the attribute
filter protects against any usage in the future that doesn't need a title
indication.
---

dbe84a97bf48789e0f32a185f701840fc68063bd
diff --git a/app/assets/stylesheets/common.scss b/app/assets/stylesheets/common.scss
index 5d7c61db3..995c43f59 100644
--- a/app/assets/stylesheets/common.scss
+++ b/app/assets/stylesheets/common.scss
@@ -47,6 +47,10 @@ small, aside {
   font-size: 12px;
 }
 
+time[title] {
+  text-decoration: underline dotted;
+}
+
 #container { position: relative; }
 
 .small_icon {