From 95a34c9e2dba2a9704965d2f858d96a5e103fb75 Mon Sep 17 00:00:00 2001 From: azivner Date: Sat, 5 Jan 2019 11:41:09 +0100 Subject: [PATCH] small tweaks of icon alignment --- src/public/stylesheets/desktop.css | 11 ++++++++++- src/public/stylesheets/style.css | 16 ---------------- src/views/desktop.ejs | 2 +- 3 files changed, 11 insertions(+), 18 deletions(-) diff --git a/src/public/stylesheets/desktop.css b/src/public/stylesheets/desktop.css index 17419d075..9994713be 100644 --- a/src/public/stylesheets/desktop.css +++ b/src/public/stylesheets/desktop.css @@ -45,13 +45,22 @@ #header button { padding: 1px 5px 1px 5px; font-size: small; + margin-bottom: 2px; + margin-top: 2px; + margin-right: 8px; +} + +#history-navigation { + margin: 0 15px 0 5px; + position: relative; + top: 3px; } #global-buttons { display: flex; justify-content: space-around; padding: 10px 0 10px 0; - margin: 0 10px 0 16px; + margin: 0 10px 0 10px; border: 1px solid #ccc; border-radius: 5px; } diff --git a/src/public/stylesheets/style.css b/src/public/stylesheets/style.css index 082f21e92..7644220b0 100644 --- a/src/public/stylesheets/style.css +++ b/src/public/stylesheets/style.css @@ -155,17 +155,6 @@ span.fancytree-active:not(.fancytree-focused) .fancytree-title { color: #337ab7 !important; } -#header-title { - padding: 5px 20px 5px 10px; - font-size: large; - font-weight: bold; -} - -#header .btn-sm { - margin-bottom: 2px; - margin-right: 8px; -} - div.ui-tooltip { max-width: 600px; max-height: 600px; @@ -377,11 +366,6 @@ div.ui-tooltip { height: 150px; } -#history-navigation { - margin: 0 20px 0 5px; - display: flex; -} - .btn:not(.btn-primary):not(.btn-danger) { border-color: #bbb; background-color: #eee; diff --git a/src/views/desktop.ejs b/src/views/desktop.ejs index 44437e3dc..203e2bafe 100644 --- a/src/views/desktop.ejs +++ b/src/views/desktop.ejs @@ -10,7 +10,7 @@