web/server: Add fractional part when printing elapsed times
web/client: Fix for red/green colorblind folk