From b54dfb6db6792efc4f2c3423b5feef794a3143f1 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sat, 7 Nov 2015 15:19:31 +0530 Subject: [PATCH] ... --- src/pyj/book_list/top_bar.pyj | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/pyj/book_list/top_bar.pyj b/src/pyj/book_list/top_bar.pyj index aa6f551c13..3a611ff401 100644 --- a/src/pyj/book_list/top_bar.pyj +++ b/src/pyj/book_list/top_bar.pyj @@ -11,6 +11,7 @@ bar_counter = 0 class TopBar: SPACING = '0.75em' + VSPACING = '0.5ex' def __init__(self): nonlocal bar_counter @@ -38,7 +39,7 @@ class TopBar: bar.appendChild(E.style(style, type='text/css')) set_css(bar, width='100%', display='flex', flex_direction='row', flex_wrap='wrap', justify_content='space-between', - font_size=get_font_size('title'), padding_top='0.5ex', padding_bottom='0.5ex', user_select='none', + font_size=get_font_size('title'), padding_top=self.VSPACING, padding_bottom=self.VSPACING, user_select='none', color=get_color('bar-foreground'), background_color=get_color('bar-background') ) document.body.appendChild(bar)