tree eea395bd0727babea857171bb7341a7c49e7db47
parent d9c520bed9e1c49e2f9627f5094116cf6b5d73f2
author Davide Pesavento <davide.pesavento@lip6.fr> 1519509046 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1519606144 -0500

tools: use CSS to paint table rows with alternating colors in the status page

Change-Id: I04416437e2b18b452bde2f478084090f92003a85