wikimedia/mediawiki-extensions-TemplateData
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/TemplateData synced 2024-11-27 17:20:01 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Fix font size of Manage TemplateData button"

Browse source
This commit is contained in:
jenkins-bot 2017-06-22 00:13:27 +00:00 committed by Gerrit Code Review
parent 0ac10d79a5 6fa1082e21
commit 37973c1cd4
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
modules/ext.templateDataGenerator.ui.css
View file

@ -1,7 +1,12 @@
.tdg-editscreen-main {
font-size: 0.914286em; /* (12.8/14) */
margin-bottom: 1em;
}
.ve-init-mw-desktopArticleTarget .tdg-editscreen-main {
font-size: 0.8em;
}
.tdg-editscreen-main-helplink {
margin-left: 1em;
}