diff -r 35bf23db7265 -r 806ae3aa51ae templates/theme.html --- a/templates/theme.html Thu Nov 28 12:45:23 2013 +0100 +++ b/templates/theme.html Thu Nov 28 14:06:58 2013 +0100 @@ -33,7 +33,10 @@