From 161785f3bf7203dfce99a5f65dda520cb94bd19b Mon Sep 17 00:00:00 2001 From: =?utf8?q?Minh=20Nguy=E1=BB=85n?= Date: Tue, 4 Aug 2015 23:42:37 -0700 Subject: [PATCH] mediawiki.legacy: Use CSS3 underlining for MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Where supported, set text-decoration-style instead of border-bottom-style to avoid double-underlining due to Firefox’s user agent style sheet. Bug: T107560 Change-Id: I6fb2d2b8016c1f3164999e25cbc058ccd9a2f121 --- resources/src/mediawiki.legacy/shared.css | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/resources/src/mediawiki.legacy/shared.css b/resources/src/mediawiki.legacy/shared.css index 27c3841571..2bf8c25ca4 100644 --- a/resources/src/mediawiki.legacy/shared.css +++ b/resources/src/mediawiki.legacy/shared.css @@ -78,6 +78,14 @@ abbr[title], cursor: help; } +@supports (text-decoration: underline dotted) { + abbr[title], + .explain[title] { + border-bottom: initial; + text-decoration: underline dotted; + } +} + /* Colored watchlist and recent changes numbers */ .mw-plusminus-pos { color: #006400; /* dark green */ -- 2.20.1