From 43702107c05b29d3a441c6dbaeb5e7fe7e93be51 Mon Sep 17 00:00:00 2001 From: sezanzeb Date: Sun, 27 Dec 2020 13:43:02 +0100 Subject: [PATCH] style fixes --- data/key-mapper.glade | 14 ++++++++++++++ data/style.css | 7 +++++++ 2 files changed, 21 insertions(+) diff --git a/data/key-mapper.glade b/data/key-mapper.glade index 6ec429cf..95660bcd 100644 --- a/data/key-mapper.glade +++ b/data/key-mapper.glade @@ -356,6 +356,20 @@ 1 + + + True + False + + + + False + True + 2 + + diff --git a/data/style.css b/data/style.css index bad33d91..bb96648e 100644 --- a/data/style.css +++ b/data/style.css @@ -7,6 +7,13 @@ row { border: 0px; } +/* adds a bottom border for themes that don't add one in primary-toolbar +classes. Interestingly, those that do add a border ignore this separator, +which is perfect. */ +.top_separator { + border: 0px; /* fixes light pixels on each end in arc-dark */ +} + .table-header, .row-box { padding: 2px; }