[MediaWiki-commits] [Gerrit] mediawiki...GlobalPreferences[master]: Centre globalizing checkboxes, and prevent overwrapping of h...

2018-01-17 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/404623 )

Change subject: Centre globalizing checkboxes, and prevent overwrapping of 
header
..


Centre globalizing checkboxes, and prevent overwrapping of header

Bug: T179542
Change-Id: Ibdde03d95c3c314b8162f8bf474c54bf862d026e
---
M resources/ext.GlobalPreferences.global-nojs.css
1 file changed, 13 insertions(+), 3 deletions(-)

Approvals:
  jenkins-bot: Verified
  Kaldari: Looks good to me, approved



diff --git a/resources/ext.GlobalPreferences.global-nojs.css 
b/resources/ext.GlobalPreferences.global-nojs.css
index 8b091b9..2ed5716 100644
--- a/resources/ext.GlobalPreferences.global-nojs.css
+++ b/resources/ext.GlobalPreferences.global-nojs.css
@@ -51,21 +51,31 @@
padding-right: 0.5em;
 }
 
-.mw-globalprefs-global-check {
-   font-size: smaller;
+div.mw-globalprefs-global-check {
padding-left: 0;
float: left;
width: 5%;
+   min-width: 2em;
+   text-align: center;
 }
-.mw-globalprefs-global-check input.mw-globalprefs-global-check {
+div.mw-globalprefs-global-check div.mw-input {
+   display: inline;
+}
+div.mw-globalprefs-global-check input.mw-globalprefs-global-check {
float: none;
width: auto;
+}
+
+/** Remove fieldset border to distinguish it from other 'proper' fieldsets. */
+fieldset.ext-globalpreferences-select-all {
+   border: 0;
 }
 
 /** Make the column header a bit narrower so it looks more associated with the 
column. */
 .globalprefs-section-header .col-header {
display: block;
width: 7%;
+   min-width: 7em;
text-align: center;
 }
 

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Ibdde03d95c3c314b8162f8bf474c54bf862d026e
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/GlobalPreferences
Gerrit-Branch: master
Gerrit-Owner: Samwilson 
Gerrit-Reviewer: Kaldari 
Gerrit-Reviewer: MaxSem 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] mediawiki...GlobalPreferences[master]: Centre globalizing checkboxes, and prevent overwrapping of h...

2018-01-16 Thread Samwilson (Code Review) 
Samwilson has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/404623 )

Change subject: Centre globalizing checkboxes, and prevent overwrapping of 
header
..

Centre globalizing checkboxes, and prevent overwrapping of header

Bug: T179542
Change-Id: Ibdde03d95c3c314b8162f8bf474c54bf862d026e
---
M resources/ext.GlobalPreferences.global-nojs.css
1 file changed, 12 insertions(+), 2 deletions(-)


  git pull 
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/GlobalPreferences 
refs/changes/23/404623/1

diff --git a/resources/ext.GlobalPreferences.global-nojs.css 
b/resources/ext.GlobalPreferences.global-nojs.css
index 8b091b9..b8852b9 100644
--- a/resources/ext.GlobalPreferences.global-nojs.css
+++ b/resources/ext.GlobalPreferences.global-nojs.css
@@ -51,21 +51,31 @@
padding-right: 0.5em;
 }
 
-.mw-globalprefs-global-check {
+div.mw-globalprefs-global-check {
font-size: smaller;
padding-left: 0;
float: left;
width: 5%;
+   text-align: center;
 }
-.mw-globalprefs-global-check input.mw-globalprefs-global-check {
+div.mw-globalprefs-global-check div.mw-input {
+   display: inline;
+}
+div.mw-globalprefs-global-check input.mw-globalprefs-global-check {
float: none;
width: auto;
+}
+
+/** Remove fieldset border to distinguish it from other 'proper' fieldsets. */
+fieldset.ext-globalpreferences-select-all {
+   border: 0;
 }
 
 /** Make the column header a bit narrower so it looks more associated with the 
column. */
 .globalprefs-section-header .col-header {
display: block;
width: 7%;
+   min-width: 7em;
text-align: center;
 }
 

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ibdde03d95c3c314b8162f8bf474c54bf862d026e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/GlobalPreferences
Gerrit-Branch: master
Gerrit-Owner: Samwilson 

___
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits