From 1d6a75b8321f324baa5f5421ce9f85637e8a706d Mon Sep 17 00:00:00 2001 From: Joris Date: Mon, 7 Sep 2015 00:04:27 +0200 Subject: Make page numbering width to adapt --- src/server/Design/Global.hs | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'src/server') diff --git a/src/server/Design/Global.hs b/src/server/Design/Global.hs index 2f77095..13b2d6a 100644 --- a/src/server/Design/Global.hs +++ b/src/server/Design/Global.hs @@ -217,10 +217,11 @@ global = do color C.darkGrey borderRadius radius radius radius radius marginRight (px 10) - let side = 40 - width (px side) - height (px side) - lineHeight (px side) + let h = 50 + paddingLeft (px 10) + paddingRight (px 10) + height (px h) + lineHeight (px h) textAlign (alignSide (sideCenter)) fontWeight bold -- cgit v1.2.3