Werdna has uploaded a new change for review. https://gerrit.wikimedia.org/r/204026
Change subject: OOUIPlayground display updates ...................................................................... OOUIPlayground display updates * (T95660) Style code snippets. * Fix styling for language switch. Bug: T95660 Change-Id: I9c1c9c91c0b208b1848248efddaff2d0a111ef3a --- M resources/display.less 1 file changed, 15 insertions(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/OOUIPlayground refs/changes/26/204026/1 diff --git a/resources/display.less b/resources/display.less index ec20db5..6ee93eb 100644 --- a/resources/display.less +++ b/resources/display.less @@ -11,5 +11,19 @@ .ooui-playground-language-selector { font-size: 80%; - line-height: 2em; + + .oo-ui-labelElement-label { + padding: 0 2px; + } + + .oo-ui-optionWidget-selected .oo-ui-labelElement-label { + border: 1px inset #f8f8f8; + } +} + +.ooui-playground-code .mw-geshi { + background-color: #f8f8f8; + font-size: 0.8em; + padding: 1.25em; + word-wrap: break-word; } -- To view, visit https://gerrit.wikimedia.org/r/204026 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I9c1c9c91c0b208b1848248efddaff2d0a111ef3a Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/OOUIPlayground Gerrit-Branch: master Gerrit-Owner: Werdna <agarr...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits