diff -r c9c75ab3de3e -r 6d5b46559bd9 web/index3.html --- a/web/index3.html Tue Nov 13 17:59:26 2012 +0100 +++ b/web/index3.html Tue Nov 13 22:18:07 2012 +0100 @@ -20,7 +20,9 @@