[MediaWiki-commits] [Gerrit] wikidata...gui[master]: Add margin to table result pagination

2017-10-10 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/383321 )

Change subject: Add margin to table result pagination
..


Add margin to table result pagination

Fixes embed toolbars hide pagination.

Change-Id: I68e121eb3376ad29c933b90d63f696d6b864f483
---
M style.css
1 file changed, 4 insertions(+), 0 deletions(-)

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



diff --git a/style.css b/style.css
index 2dd0192..725d470 100644
--- a/style.css
+++ b/style.css
@@ -68,6 +68,10 @@
padding: 0 0.5em 0 0;
 }
 
+.fixed-table-pagination {
+   margin-bottom: 2.5em;
+}
+
 .cm-s-default .cm-bracket {
color: #000;
 }

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I68e121eb3376ad29c933b90d63f696d6b864f483
Gerrit-PatchSet: 2
Gerrit-Project: wikidata/query/gui
Gerrit-Branch: master
Gerrit-Owner: Jonas Kress (WMDE) 
Gerrit-Reviewer: Lucas Werkmeister (WMDE) 
Gerrit-Reviewer: Smalyshev 
Gerrit-Reviewer: jenkins-bot <>

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

[MediaWiki-commits] [Gerrit] wikidata...gui[master]: Add margin to table result pagination

2017-10-10 Thread Jonas Kress (WMDE) (Code Review) 
Jonas Kress (WMDE) has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/383321 )

Change subject: Add margin to table result pagination
..

Add margin to table result pagination

Fixes embed toolbars hide pagination.

Change-Id: I68e121eb3376ad29c933b90d63f696d6b864f483
---
M style.css
1 file changed, 4 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/wikidata/query/gui 
refs/changes/21/383321/1

diff --git a/style.css b/style.css
index 2dd0192..e9d225d 100644
--- a/style.css
+++ b/style.css
@@ -68,6 +68,10 @@
padding: 0 0.5em 0 0;
 }
 
+.fixed-table-pagination {
+   margin: 2em;
+}
+
 .cm-s-default .cm-bracket {
color: #000;
 }

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I68e121eb3376ad29c933b90d63f696d6b864f483
Gerrit-PatchSet: 1
Gerrit-Project: wikidata/query/gui
Gerrit-Branch: master
Gerrit-Owner: Jonas Kress (WMDE) 

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