wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-23 15:56:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

debug console: use monospace font for inputs

Browse source 
Change-Id: I2f146172611aec6dbcd6acf4cfde254076d15149
This commit is contained in:
Siddharth VP 2024-09-30 22:13:44 +05:30 committed by jenkins-bot
parent 82e5344ead
commit 35a0c45888
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/ext.scribunto.edit.less
View file

@ -13,11 +13,13 @@
border: 1px solid @border-color-subtle;
overflow: auto;
background: @background-color-notice-subtle;
font-family: @font-family-monospace;
}
.mw-scribunto-input {
color: @color-progressive--active;
font: inherit;
font-family: @font-family-monospace;
font-weight: bold;
margin-top: 0.5em;
}