From c364ec3b81af2ee708129867d6db189838c9f343 Mon Sep 17 00:00:00 2001 From: Přemysl Eric Janouch Date: Sun, 17 Oct 2021 11:08:30 +0200 Subject: sdgui: stop hardcoding cell side padding --- src/sdgui.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/sdgui.c') diff --git a/src/sdgui.c b/src/sdgui.c index 870499c..7c111df 100644 --- a/src/sdgui.c +++ b/src/sdgui.c @@ -250,6 +250,7 @@ main (int argc, char *argv[]) // All the named colours have been there since GNOME 3.4 // (see gnome-extra-themes git history, Adwaita used to live there). const char *style = "notebook header tab { padding: 2px 8px; margin: 0; }" + "stardict-view { padding: 0 .25em; }" "stardict-view.odd {" "background: @theme_base_color; " "color: @theme_text_color; }" -- cgit v1.2.3-70-g09d2