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.

diff --git a/app/assets/stylesheets/common.scss b/app/assets/stylesheets/common.scss
index 5d7c61db3522a0214176ba7d5b3afb4e9b6af579..995c43f595a0a37414dcbfe65b78dea450b61a8e 100644 (file)
--- 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 {