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">&times;</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

Reply via email to