wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-09-24 18:58:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Syntax highlighting: Switch extension tags to green"

Browse source
This commit is contained in:
jenkins-bot 2017-04-21 18:34:38 +00:00 committed by Gerrit Code Review
parent 14eea32e44 e3ca35adf5
commit 1c7bac5c17
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -41,9 +41,9 @@ pre.cm-mw-section-6 { font-weight: bold; }
pre.cm-mw-exttag { background-image: url( img/ext2.png ); }
.cm-mw-exttag { background-image: url( img/ext4.png ); }
.cm-mw-exttag-name { color: #70a; font-weight: bold; }
.cm-mw-exttag-bracket { color: #70a; font-weight: normal; }
.cm-mw-exttag-attribute { color: #70a; font-weight: normal; }
.cm-mw-exttag-name { color: #170; font-weight: bold; }
.cm-mw-exttag-bracket { color: #170; font-weight: normal; }
.cm-mw-exttag-attribute { color: #170; font-weight: normal; }
.cm-mw-htmltag-name { color: #170; font-weight: bold; }
.cm-mw-htmltag-bracket { color: #170; font-weight: normal; }