diff --git a/app/static/css/screen-dark.css b/app/static/css/screen-dark.css
index c658f79d7..c10d13dcb 100644
--- a/app/static/css/screen-dark.css
+++ b/app/static/css/screen-dark.css
@@ -37,7 +37,7 @@ nav             { font-family: sans-serif}
                   border: 1px solid #aacbe2; }
 .error          { background: #f0d6d6; padding: 0.5em; }
 
-.logo           { filter: invert(1); vertical-align: top;  width="19" height="19"; }
+.logo           { filter: invert(1); vertical-align: center; width="20" height="20"; }
 
 .wikilink:before {
 	content: "[["
@@ -47,6 +47,17 @@ nav             { font-family: sans-serif}
 	content: "]]"
 }
 
+.navigation {
+    width: 100%;
+    vertical-align: center;
+}
+
+.navigation-item {
+}
+
+.mini-cli {
+}
+
 .node, .context, .stoa {
     /*border-color: #7f5af0;*/
     border-color: gray;
diff --git a/app/templates/base.html b/app/templates/base.html
index 538405025..7653dd6b9 100644
--- a/app/templates/base.html
+++ b/app/templates/base.html
@@ -29,7 +29,7 @@
         <link rel="search" type="application/opensearchdescription+xml"
                            title="Agora" href={{url_for('agora.search_xml')}}>
 	    <link rel="stylesheet" type="text/css" href="//fonts.googleapis.com/css?family=Merriweather:300,700,700italic,300italic|Open+Sans:700,400" />
-	    <link rel="stylesheet" type="text/css" href="{{ url_for('static',filename='css/screen-dark.css')}}?uncached9" id="theme-link" />
+	    <link rel="stylesheet" type="text/css" href="{{ url_for('static',filename='css/screen-dark.css')}}?uncached10" id="theme-link" />
     <script type=text/javascript src="{{url_for('static', filename='js/main.js')}}"></script>
     <!-- considering this way of integrating hypothesis, although I like "standard" (sidebar) mode.
     <script type="application/json" class="js-hypothesis-config">
@@ -43,15 +43,22 @@
 	</head>
     <body>
     <nav class="navigation">
-		<a href="/"><img src="/static/img/agora.png" class="logo" style="vertical-align: top" width="19" height="19"></a>
-        | <a href="/nodes">nodes</a>
-		| <a href="/users">@</a>
-		| <a href="/latest">Δ</a>
-        | <form action="/exec" method="get" style="display: inline;"><a href="/node/agora-cli">exec</a>: <input type="text" value="{{qstr}}" name="q"></form>
-        | <a href="#" style="text-decoration: none;" class="theme-toggle">🌙</a>
-		<!-- doesn't fit on mobile right now.
-        | <a href="/node/agora-help" style="text-decoration: none;" class="help-button">ℹ️</a>
-        -->
+		<a href="/"><img src="/static/img/agora.png" class="logo" width="20" height="20"></a>
+        | 
+        <a href="/nodes">nodes</a>
+		| 
+        <a href="/users">@</a>
+		| 
+        <a href="/latest">Δ</a>
+        | 
+        <a href="/node/agora-cli">cli</a>
+        <form action="/exec" style="display: inline;" method="get">
+        <input class="mini-cli" id="mini-cli" type="text" value="{{qstr}}" name="q">
+        </form>
+        | 
+        <a href="#" style="text-decoration: none;" class="theme-toggle">🌙</a>
+        | 
+        <a href="/node/agora-help" style="text-decoration: none;" class="help-button">❓</a>
     </nav>
 	<hr>
         ↪ <a href="https://www.google.com/search?q={{q}}">Google</a>
