Add styling for gitweb timing statistics output (#37)
authorEdwin Hoksberg <EdwinHoksberg@users.noreply.github.com>
Sat, 28 Jul 2018 07:10:06 +0000 (09:10 +0200)
committerStefan Imhoff <stefan@imhoff.name>
Sat, 28 Jul 2018 07:10:06 +0000 (09:10 +0200)
commit61825abacbebf947df116becf8c10e36ad51e634
tree95624ea7ed1fd434d4fcdcf8cac0ba4a7766ca7a
parent049b88e664a359f8ec25dc6f531b7e2aa60dd1a2
Add styling for gitweb timing statistics output (#37)

When they are enabled using the `$feature{'timed'}{'default'} = [1];` setting
gitweb.css