From 7b3bcbcbfa5b531553dd8b852a7032379db4d58c Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Tue, 20 Oct 2015 19:06:56 +0530 Subject: [PATCH] ... --- src/pyj/book_list/top_bar.pyj | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/pyj/book_list/top_bar.pyj b/src/pyj/book_list/top_bar.pyj index 16b54bd3ef..ea8d18f876 100644 --- a/src/pyj/book_list/top_bar.pyj +++ b/src/pyj/book_list/top_bar.pyj @@ -23,18 +23,18 @@ class TopBar: for bid in self.dummy_bar_id, self.bar_id: bar = E.div( id=bid, class_='top-bar', - E.div(style="display:table-cell;"), - E.div(style="display:table-cell; text-align:right; padding-right: " + self.SPACING) + E.div(style="display:table-cell; padding-left: 0.5em"), + E.div(style="display:table-cell; text-align:right; padding-right: 0.5em") ) if bid == self.bar_id: set_css(bar, position='fixed', left='0', top='0') bar.appendChild(E.style(style, type='text/css')) set_css(bar, - width='100%', display='table', font_size=get_font_size('title'), - padding_top='0.5ex', padding_bottom='0.5ex', user_select='none', - color=get_color('bar-foreground'), background_color=get_color('bar-background')) + width='100%', display='table', font_size=get_font_size('title'), + padding_top='0.5ex', padding_bottom='0.5ex', user_select='none', + color=get_color('bar-foreground'), background_color=get_color('bar-background') + ) document.body.appendChild(bar) - set_css(bar.firstChild, padding_left='0.5em') @property def bar(self):