From 7d244175a3bd359bd21454bb0ecd3962529001d3 Mon Sep 17 00:00:00 2001 From: Timo Tijhof Date: Thu, 4 Sep 2014 18:57:22 +0200 Subject: [PATCH] mediawiki.skinning: Remove obsolete #firstHeading selector Too strong and forces all overrides to also use the ID. The fallback skin doesn't even have the ID. Change-Id: Iacf382d49520228a073ed2776b18303bb00b9c0d --- resources/src/mediawiki.skinning/interface.css | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/resources/src/mediawiki.skinning/interface.css b/resources/src/mediawiki.skinning/interface.css index 733fd11d1f..398a132dd5 100644 --- a/resources/src/mediawiki.skinning/interface.css +++ b/resources/src/mediawiki.skinning/interface.css @@ -15,7 +15,6 @@ clear: both; } -/* User Message */ .usermessage { background-color: #ffce7b; border: 1px solid #ffa500; @@ -26,7 +25,6 @@ vertical-align: middle; } -/* Site Notice (includes notices from CentralNotice extension) */ #siteNotice { position: relative; text-align: center; @@ -37,9 +35,7 @@ margin-bottom: 0.9em; } -/* First h1 */ -.firstHeading, -#firstHeading { +.firstHeading { margin-bottom: .1em; /* These two rules hack around bug 2013 (fix for more limited bug 11325). * When bug 2013 is fixed properly, they should be removed. */ @@ -58,7 +54,8 @@ margin-bottom: 1.4em; } -#contentSub, #contentSub2 { +#contentSub, +#contentSub2 { font-size: 84%; line-height: 1.2em; margin: 0 0 1.4em 1em; -- 2.20.1