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) <jonas.kr...@wikimedia.de>
Gerrit-Reviewer: Lucas Werkmeister (WMDE) <lucas.werkmeis...@wikimedia.de>
Gerrit-Reviewer: Smalyshev <smalys...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
