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