jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/366281 )
Change subject: Fixes size of <code> elements
......................................................................
Fixes size of <code> elements
... also removed unused 'bluespiceskin.font.css'
NEEDS CHERRY-PICK TO REL1_27
Change-Id: Ie1e521f075954127737ff53ccf0a154baf3b73b8
---
D resources/bluespiceskin.font.css
M resources/components/skin.font.less
2 files changed, 5 insertions(+), 17 deletions(-)
Approvals:
Mglaser: Looks good to me, approved
jenkins-bot: Verified
Dvogel hallowelt: Looks good to me, but someone else must approve
diff --git a/resources/bluespiceskin.font.css b/resources/bluespiceskin.font.css
deleted file mode 100644
index 6bb8815..0000000
--- a/resources/bluespiceskin.font.css
+++ /dev/null
@@ -1,16 +0,0 @@
-body.mediawiki {
- font-family: Helvetica, Arial, sans-serif;
- font-size: 0.8em;
-}
-
-strong {
- font-weight: bold;
-}
-
-em {
- font-style: oblique;
-}
-
-#bs-left-column {
- font-size: 90%;
-}
\ No newline at end of file
diff --git a/resources/components/skin.font.less
b/resources/components/skin.font.less
index dae43e5..4afd25c 100644
--- a/resources/components/skin.font.less
+++ b/resources/components/skin.font.less
@@ -1,6 +1,10 @@
-body.mediawiki, body.x-body{
+body.mediawiki, body.x-body {
font-family: @bs-font-default !important;
font-size: 0.938em; //15px
+
+ pre, code, tt, kbd, samp, .mw-code {
+ font-family: monospace;
+ }
}
body.mediawiki{
h1.firstHeading{
--
To view, visit https://gerrit.wikimedia.org/r/366281
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie1e521f075954127737ff53ccf0a154baf3b73b8
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/skins/BlueSpiceSkin
Gerrit-Branch: master
Gerrit-Owner: Robert Vogel <vo...@hallowelt.biz>
Gerrit-Reviewer: Dvogel hallowelt <daniel.vo...@hallowelt.com>
Gerrit-Reviewer: Ljonka <l.verhovs...@gmail.com>
Gerrit-Reviewer: Mglaser <gla...@hallowelt.biz>
Gerrit-Reviewer: Pwirth <wi...@hallowelt.biz>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
