jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/371699 )
Change subject: Set wikitext editing textareas to use monospace ...................................................................... Set wikitext editing textareas to use monospace Technically should follow UPO (sans, serif, or monospace, or inherit), but UPO handling is shoddy and doesn't play well with OOUI nesting. I25513f17f340a3fe79eede37b07c86874d4fbc35 was an attempt to fix this properly, but had issues. Change-Id: Ie070b42ff156b45f2c11dfa8f689ea82b0b53624 --- M modules/ext.CollaborationKit.edit.styles.less 1 file changed, 12 insertions(+), 0 deletions(-) Approvals: Harej: Looks good to me, approved jenkins-bot: Verified diff --git a/modules/ext.CollaborationKit.edit.styles.less b/modules/ext.CollaborationKit.edit.styles.less index e20f551..002bcf4 100644 --- a/modules/ext.CollaborationKit.edit.styles.less +++ b/modules/ext.CollaborationKit.edit.styles.less @@ -16,6 +16,18 @@ } } +// Set the textareas (SpecialCreateCollaborationHub, CollaborationHubContentEditor, +// CollaborationListContentEditor) to monospace instead of oojs ui usual of inherit +// (sans serif) +// Technically this should not be here, and we should be applying editfont UPO +// classes as per EditPage::buildTextboxAttribs. Unfortunately, the CSS in core +// for that has some issues with ooui's nesting, and so doesn't entirely work. So +// we'll just do this instead: +.page-Special_CreateCollaborationHub .oo-ui-textInputWidget textarea, +.mw-collabkit-modifiededitform .oo-ui-textInputWidget textarea { + font-family: monospace; +} + .mw-ck-hub-topform { max-width: 50em; } -- To view, visit https://gerrit.wikimedia.org/r/371699 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie070b42ff156b45f2c11dfa8f689ea82b0b53624 Gerrit-PatchSet: 3 Gerrit-Project: mediawiki/extensions/CollaborationKit Gerrit-Branch: master Gerrit-Owner: Isarra <zhoris...@gmail.com> Gerrit-Reviewer: Harej <jamesmh...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits