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”

{-# LANGUAGE ImpredicativeTypes #-}
module Main where

import qualified MODULE as M

main = undefined $ M.FUNCTION PARAMETERS