diff --git a/app/static/css/screen-dark.css b/app/static/css/screen-dark.css
index f1a13cc21..0d6d15eda 100644
--- a/app/static/css/screen-dark.css
+++ b/app/static/css/screen-dark.css
@@ -48,6 +48,30 @@ nav { font-family: sans-serif}
}
.navigation {
+ vertical-align: middle;
+ overflow-y: auto;
+ /* border-color: gray;
+ border-style: dotted;
+ margin: 10px;
+ border-radius: 20px;
+ padding: 10px;
+ */
+ margin-bottom: 10px;
+}
+
+.navigation-links {
+ vertical-align: middle;
+ overflow-y: auto;
+ margin-bottom: 10px;
+}
+
+.topline-node{
+ vertical-align: middle;
+ overflow-y: auto;
+ margin-bottom: 10px;
+}
+
+.mini-search{
vertical-align: middle;
overflow-y: auto;
margin-bottom: 10px;
@@ -67,26 +91,13 @@ nav { font-family: sans-serif}
}
.topline-container {
- display: flex;
+ width: 100%;
}
-.topline-home {
+
+.cli-header {
margin-right: 10px;
}
-.topline-cli {
- margin-right: 10px;
-}
-
-.topline-icons {
- flex-grow: 1;
-}
-
-.mini-search {
- padding-top: 10px;
- padding-bottom: 10px;
- border-bottom: 1px solid grey;
-}
-
.node, .context, .stoa {
/*border-color: #7f5af0;*/
border-color: gray;
diff --git a/app/templates/base.html b/app/templates/base.html
index 77067c587..3f1d5f2e9 100644
--- a/app/templates/base.html
+++ b/app/templates/base.html
@@ -29,7 +29,7 @@
-
+