Harej has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/359090 )
Change subject: Make the edit textboxes use monospace text. ...................................................................... Make the edit textboxes use monospace text. Change-Id: I25513f17f340a3fe79eede37b07c86874d4fbc35 --- M modules/ext.CollaborationKit.edit.styles.less 1 file changed, 3 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/CollaborationKit refs/changes/90/359090/1 diff --git a/modules/ext.CollaborationKit.edit.styles.less b/modules/ext.CollaborationKit.edit.styles.less index e20f551..9854168 100644 --- a/modules/ext.CollaborationKit.edit.styles.less +++ b/modules/ext.CollaborationKit.edit.styles.less @@ -8,6 +8,9 @@ max-width: 100%; } } +.mw-collabkit-modifiededitform textarea { + font-family: monospace !important; +} .mw-htmlform-ooui-wrapper, .mw-collabkit-modifiededitform { .oo-ui-fieldLayout-header label.oo-ui-labelElement-label, -- To view, visit https://gerrit.wikimedia.org/r/359090 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I25513f17f340a3fe79eede37b07c86874d4fbc35 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/CollaborationKit Gerrit-Branch: master Gerrit-Owner: Harej <jamesmh...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits