WMDE-Fisch has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/334335 )

Change subject: Minor CSS fixes to align textboxes and text
......................................................................

Minor CSS fixes to align textboxes and text

Change-Id: I22ee2eefaa4aa34cac1317f1112e72df580ace4f
---
M modules/ext.TwoColConflict.css
1 file changed, 4 insertions(+), 3 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/TwoColConflict 
refs/changes/35/334335/1

diff --git a/modules/ext.TwoColConflict.css b/modules/ext.TwoColConflict.css
index fd653ab..1dae95b 100644
--- a/modules/ext.TwoColConflict.css
+++ b/modules/ext.TwoColConflict.css
@@ -18,11 +18,11 @@
 }
 
 .mw-twocolconflict-editor-col .mw-twocolconflict-col-desc {
-       margin-bottom: 31px;  /* diff-options height - editor-toolbar height */
+       margin-bottom: 35px;  /* diff-options height - editor-toolbar height */
 }
 
 .mw-twocolconflict-editor-col.mw-twocolconflict-wikieditor 
.mw-twocolconflict-col-desc {
-       margin-bottom: 21px;  /* diff-options height - editor-toolbar height */
+       margin-bottom: 25px;  /* diff-options height - editor-toolbar height */
 }
 
 .mw-twocolconflict-form .editOptions {
@@ -53,7 +53,7 @@
        text-shadow: none;
        text-align: start;
        overflow: auto;
-       height: 400px;
+       height: 402px;
        width: 100%;
        background-color: #f2f2f2;
        cursor: text;
@@ -66,6 +66,7 @@
 /* stylelint-disable-next-line selector-no-id */
 .mw-twocolconflict-editor-col #wpTextbox1 {
        height: 400px;
+       padding: 0 4px;
 }
 
 .mw-twocolconflict-lastuser,

-- 
To view, visit https://gerrit.wikimedia.org/r/334335
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I22ee2eefaa4aa34cac1317f1112e72df580ace4f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/TwoColConflict
Gerrit-Branch: master
Gerrit-Owner: WMDE-Fisch <christoph.jau...@wikimedia.de>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to