wikimedia/mediawiki-extensions-TemplateData
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/TemplateData synced 2024-09-23 10:21:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Add top margin to "Edit template data" button"

Browse source
This commit is contained in:
jenkins-bot 2024-09-19 21:59:50 +00:00 committed by Gerrit Code Review
parent 0d8ac1fc82 10dd200712
commit 2da104d3d7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/ext.templateDataGenerator.editTemplatePage/templateDataGenerator.ui.less
View file

@ -1,5 +1,5 @@
.tdg-editscreen-main { .tdg-editscreen-main {
margin-bottom: 1em; margin: 1em 0;
.skin-vector-legacy .ve-init-mw-desktopArticleTarget-originalContent & { .skin-vector-legacy .ve-init-mw-desktopArticleTarget-originalContent & {
font-size: (14 / 16em); font-size: (14 / 16em);