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

[patterns]

     2

**.h = native

     3

**.c = native

     4

**.cpp = native

     5

**.lua = native

     6

**.txt = native

     7

**.pas = native

     8

**.inc = native

     9

**.hs = native