Karima Rafes has submitted this change and it was merged.
Change subject: Fix CSS of Flint Editor
......................................................................
Fix CSS of Flint Editor
Change-Id: Ie84cb83711331819f9eef2057b55d74a0cdb7cfa
---
M js/FlintSparqlEditor/sparql/css/docs.css
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Karima Rafes: Verified; Looks good to me, approved
jenkins-bot: Checked
diff --git a/js/FlintSparqlEditor/sparql/css/docs.css
b/js/FlintSparqlEditor/sparql/css/docs.css
index 5a152ad..6f4d678 100755
--- a/js/FlintSparqlEditor/sparql/css/docs.css
+++ b/js/FlintSparqlEditor/sparql/css/docs.css
@@ -703,7 +703,7 @@
width: 100%;
margin: 0px;
padding: 0em;
- font-size: 15em;
+ //font-size: 15em;
border: none;
height: 197px;
}
--
To view, visit https://gerrit.wikimedia.org/r/76545
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie84cb83711331819f9eef2057b55d74a0cdb7cfa
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/LinkedWiki
Gerrit-Branch: master
Gerrit-Owner: Karima Rafes <[email protected]>
Gerrit-Reviewer: Karima Rafes <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
