Isarra has uploaded a new change for review. ( 
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, 5 insertions(+), 0 deletions(-)


  git pull 
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/CollaborationKit 
refs/changes/99/371699/1

diff --git a/modules/ext.CollaborationKit.edit.styles.less 
b/modules/ext.CollaborationKit.edit.styles.less
index e20f551..90491e1 100644
--- a/modules/ext.CollaborationKit.edit.styles.less
+++ b/modules/ext.CollaborationKit.edit.styles.less
@@ -16,6 +16,11 @@
        }
 }
 
+.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: newchange
Gerrit-Change-Id: Ie070b42ff156b45f2c11dfa8f689ea82b0b53624
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CollaborationKit
Gerrit-Branch: master
Gerrit-Owner: Isarra <zhoris...@gmail.com>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to