diff options
author | Joris | 2015-09-06 16:54:30 +0200 |
---|---|---|
committer | Joris | 2015-09-06 16:54:30 +0200 |
commit | 082faae086433440b76c533d1a5afd22e7baafe1 (patch) | |
tree | 587d1bae9f02d00d4c878da2f8ea1e25600269fd /src/server | |
parent | ae6fddcbf400ca5ed0f0c5671f9422f910f4a401 (diff) |
Reducing the size of the pages so that they fit in the reduced size screen
Diffstat (limited to 'src/server')
-rw-r--r-- | src/server/Design/Global.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/server/Design/Global.hs b/src/server/Design/Global.hs index 4c8277b..2f77095 100644 --- a/src/server/Design/Global.hs +++ b/src/server/Design/Global.hs @@ -217,7 +217,7 @@ global = do color C.darkGrey borderRadius radius radius radius radius marginRight (px 10) - let side = 50 + let side = 40 width (px side) height (px side) lineHeight (px side) |