diff options
| author | Joris | 2015-09-07 00:04:27 +0200 |
|---|---|---|
| committer | Joris | 2015-09-07 00:04:33 +0200 |
| commit | 1d6a75b8321f324baa5f5421ce9f85637e8a706d (patch) | |
| tree | bb8e734575b731da1b0537ade34d6bc14c4a680f /src | |
| parent | bb7e0a46882bca0b5cb36c09f531a83759d95cb4 (diff) | |
Make page numbering width to adapt
Diffstat (limited to 'src')
| -rw-r--r-- | src/server/Design/Global.hs | 9 |
1 files changed, 5 insertions, 4 deletions
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 |