[08:11] <mchehab> hverkuil: I suspect your browser didn't update the css file. before the changes, the '0' index at version_info[0] were using dark blue. That's why i changed it ;-)
[08:11] <mchehab> it is now using a sort of light green
[08:12] <hverkuil> Ah yes, if I open it in another browser it looks much better.
[08:13] <mchehab> CTRL-SHIFT-R makes it to refresh the themes
[08:13] <mchehab> (tested on chrome and firefox)
[08:17] <hverkuil> It's now good. ctrl-shift-r did the trick.
[08:19] <mchehab> good! please let me know if you find anything else that would require adjustments
[08:20] <hverkuil> Well, since you ask :-)
[08:21] <hverkuil> The gray used for comments could be a bit lighter IMHO.