Bartosz Dziewoński has uploaded a new change for review.
https://gerrit.wikimedia.org/r/220744
Change subject: Avoid displaying double borders for inline code snippets
......................................................................
Avoid displaying double borders for inline code snippets
Before we started using the 'code' tag for inline code snippets,
<code><syntaxhighlight enclose=none ...>...</syntaxhighlight></code>
was a common pattern. Continue supporting it in existing content.
Follow-up to 04293baad9e29d5b0283968b546c948f317338bd. My IRC comments
about this were seemingly forgotten, and the code I added in
5b7522a5fc4088792494c662cd06a794d9f77980 to handle this problem
unceremoniously removed.
Bug: T85794
Change-Id: I8e52089fed41e78fb60ddd5b7c12075056265dd9
---
M modules/pygments.wrapper.css
1 file changed, 10 insertions(+), 0 deletions(-)
git pull
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/SyntaxHighlight_GeSHi
refs/changes/44/220744/1
diff --git a/modules/pygments.wrapper.css b/modules/pygments.wrapper.css
index 02e8184..b1f7cb9 100644
--- a/modules/pygments.wrapper.css
+++ b/modules/pygments.wrapper.css
@@ -4,3 +4,13 @@
direction: ltr;
unicode-bidi: embed;
}
+
+/* Avoid displaying double borders for nested 'code' elements.
+ Before we started using the 'code' tag for inline code snippets,
+ <code><syntaxhighlight enclose=none ...>...</syntaxhighlight></code>
+ was a common pattern. Continue supporting it in existing content. */
+code code.mw-highlight {
+ background-color: transparent;
+ border: 0;
+ padding: 0;
+}
--
To view, visit https://gerrit.wikimedia.org/r/220744
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I8e52089fed41e78fb60ddd5b7c12075056265dd9
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/SyntaxHighlight_GeSHi
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <matma....@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
