More spacing in header
authorJoachim Breitner <mail@joachim-breitner.de>
Sat, 9 Oct 2010 10:54:13 +0000 (10:54 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Sat, 9 Oct 2010 10:54:13 +0000 (10:54 +0000)
PlatformOutput.hs

index feaa6d2..4a4e89f 100644 (file)
@@ -38,7 +38,7 @@ mkTable hackage datas = table << (
                         concatHtml (map (\(name,_) ->
                             th << name
                         ) dists) +++
-                        th << " "
+                        th << (spaceHtml +++ spaceHtml +++ spaceHtml +++ spaceHtml +++ spaceHtml)
                     ) datas) +++
                     th << "Hackage"
                 ) +++