victorg
committed
on 12 Sep 13
small modifications to css for bug-tracker.