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

Syntax highlighting: Switch extension tags to green

Browse source 
Bug: T161694
Change-Id: I1817cd151ac253998f0381126a60960106db3848
This commit is contained in:
Pavel Astakhov 2017-04-20 23:45:11 +06:00
parent e2383eb772
commit e3ca35adf5
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; }