jenkins-bot has submitted this change and it was merged. Change subject: Wikidata logo ......................................................................
Wikidata logo Introduces Wikidata logo and fixes editor height. Change-Id: I7bf73ef4e8f4afb20353a69069bac52fdb844b50 --- M index.html A logo.png M style.css 3 files changed, 17 insertions(+), 13 deletions(-) Approvals: Smalyshev: Looks good to me, approved jenkins-bot: Verified diff --git a/index.html b/index.html index 322548a..21f5271 100644 --- a/index.html +++ b/index.html @@ -32,13 +32,13 @@ <span class="sr-only">Toggle navigation</span> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </button> <div class="navbar-brand"> - <a href="./">Wikidata Query Service</a> + <a href="./"><img src="logo.png">Wikidata Query Service</a> </div> </div> <div class="collapse navbar-collapse" id="header-navbar-collapse"> <ul class="nav navbar-nav"> <li> - <button type="button" class="btn btn-warning navbar-btn" data-toggle="modal" data-target="#QueryExamples"> + <button type="button" class="btn btn navbar-btn" data-toggle="modal" data-target="#QueryExamples"> Examples </button> </li> @@ -78,9 +78,6 @@ <form id="query-form"> <textarea class="queryEditor" name="query" placeholder="(Input a SPARQL query or choose a query example)"></textarea> <div class="alert alert-success alert-dismissible" role="alert"> - <button type="button" class="close" data-dismiss="alert" aria-label="Close"> - <span aria-hidden="true">×</span> - </button> Press <i>[CTRL-SPACE]</i> to activate auto completion. Data last updated: <span id="dbUpdated">[connecting]</span> </div> <nav class="navbar navbar-default"> diff --git a/logo.png b/logo.png new file mode 100644 index 0000000..7368495 --- /dev/null +++ b/logo.png Binary files differ diff --git a/style.css b/style.css index f86a5ed..ad3b102 100644 --- a/style.css +++ b/style.css @@ -57,8 +57,11 @@ height: auto !important; } -.CodeMirror-scroll, .queryEditor { +.CodeMirror-scroll { min-height: 300px; +} +.queryEditor { + min-height: 273px; } pre.CodeMirror-placeholder { @@ -82,6 +85,11 @@ #query-box { position: relative; +} + +#query-box .alert { + padding: 3px; + font-size: 13px; } #query-box .nav { @@ -143,13 +151,12 @@ } .navbar-brand { - position: absolute; - width: 100%; - left: 0; - text-align: center; - margin: auto; + line-height: 35px; + padding: 5px 15px; } - +.navbar-brand img{ + padding-right: 5px; +} .navbar-toggle { z-index: 100; } @@ -162,7 +169,7 @@ float: left; } /* change navbar breakpoint */ -@media (max-width: 950px) { +@media (max-width: 800px) { .navbar-header { float: none; } -- To view, visit https://gerrit.wikimedia.org/r/281404 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I7bf73ef4e8f4afb20353a69069bac52fdb844b50 Gerrit-PatchSet: 4 Gerrit-Project: wikidata/query/gui Gerrit-Branch: master Gerrit-Owner: Jonas Kress (WMDE) <jonas.kr...@wikimedia.de> Gerrit-Reviewer: Lydia Pintscher <lydia.pintsc...@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