wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-14 09:44:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Update comment text color CSS"

Browse source
This commit is contained in:
jenkins-bot 2017-12-05 09:53:46 +00:00 committed by Gerrit Code Review
parent 793a479a8c 62894aafff
commit 6849149d80
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
resources/mode/mediawiki/mediawiki.css
View file

@ -11,7 +11,7 @@
.cm-mw-doubleUnderscore, .cm-mw-signature, .cm-mw-hr { color: #08f; font-weight: bold; background-color: #eee; }
.cm-mw-indenting { color: #08f; font-weight: bold; }
.cm-mw-mnemonic { color: #290; }
.cm-mw-comment { color: #aaa; font-weight: normal; }
.cm-mw-comment { color: #84a0a0; font-weight: normal; }
.cm-mw-apostrophes-bold, .cm-mw-apostrophes-italic { color: #08f; }
pre.cm-mw-section-1 { font-size: 1.8em; line-height: 1.2em; }