jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/366122 )
Change subject: Increase visibility of execute button
......................................................................
Increase visibility of execute button
Increases size of execute button by 0.5em to make it more prominent.
Change-Id: I224e14e9b05f1d10dbf558fcbf28e483d96fa3d9
---
M style.css
1 file changed, 4 insertions(+), 1 deletion(-)
Approvals:
Smalyshev: Looks good to me, approved
jenkins-bot: Verified
diff --git a/style.css b/style.css
index 5f8f4ce..c3426f9 100644
--- a/style.css
+++ b/style.css
@@ -140,12 +140,15 @@
}
#query-box .toolbar-bottom {
- padding-bottom: 0.5em;
padding-top: 1em;
vertical-align: bottom;
text-align: center;
}
+#query-box .toolbar-bottom .fa {
+ font-size: 2em;
+}
+
.jq-toast-single a {
border: none;
}
--
To view, visit https://gerrit.wikimedia.org/r/366122
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I224e14e9b05f1d10dbf558fcbf28e483d96fa3d9
Gerrit-PatchSet: 3
Gerrit-Project: wikidata/query/gui
Gerrit-Branch: master
Gerrit-Owner: Jonas Kress (WMDE) <jonas.kr...@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
