From 94353ee7d6f30ab2e7f5c256fd2df763204ef174 Mon Sep 17 00:00:00 2001 From: eidheim Date: Sun, 3 May 2020 15:32:08 +0200 Subject: [PATCH] Added extra padding for entries and terminal, and changed directories header slightly --- src/window.cc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/window.cc b/src/window.cc index 2ec979b..b1ce09f 100644 --- a/src/window.cc +++ b/src/window.cc @@ -34,7 +34,10 @@ Window::Window() { #endif provider->load_from_data(R"( .juci_directories *:selected {border-left-color: inherit; color: inherit; background-color: rgba(128, 128, 128 , 0.2); background-image: inherit;} + .juci_directories button {background: @theme_base_color; border: 0px; color: @theme_text_color;font-weight: bold;} )" + notebook_style + R"( + .juci_entry {padding: 3px;} + .juci_terminal_scrolledwindow {padding-left: 3px;} .juci_info {border-radius: 5px;} .juci_tooltip_window {background-color: transparent;} .juci_tooltip_box {)" + border_radius_style + R"(padding: 3px;}