wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-12 08:50:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Add some extra spacing around H1s and H2s"

Browse source
This commit is contained in:
jenkins-bot 2017-04-06 00:14:16 +00:00 committed by Gerrit Code Review
parent cf07be26b3 6be1fbc134
commit 36d0cf9fea
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -14,8 +14,8 @@
.cm-mw-comment { color: #aaa; font-weight: normal; }
.cm-mw-apostrophes-bold, .cm-mw-apostrophes-italic { color: #08f; }
pre.cm-mw-section-1 { font-size: 1.8em; }
pre.cm-mw-section-2 { font-size: 1.5em; }
pre.cm-mw-section-1 { font-size: 1.8em; line-height: 1.2em; }
pre.cm-mw-section-2 { font-size: 1.5em; line-height: 1.2em; }
pre.cm-mw-section-3 { font-weight: bold; }
pre.cm-mw-section-4 { font-weight: bold; }
pre.cm-mw-section-5 { font-weight: bold; }