I made some updates to the build/test report pages: 1. Proper stripe effect for red (its absence was a bug visible only with many close failures...) 2. Gray out obsolete results, i.e., check or tuneup results older than last successful build. 3. Check boxes for optional stuff like C++ and mini-gmp tests. -- Torbjörn Please encrypt, key id 0xC8601622