Various minor frontend CSS tweaks - Static border color for stats, teams list, map draw widget - Explicit definition of table header - New splitter design which works with the Qt style “Windows”

     1

{-# LANGUAGE ImpredicativeTypes #-}

     2

module Main where

     3

     4

import qualified MODULE as M

     5

     6

main = undefined $ M.FUNCTION PARAMETERS