diff -r f667f24b4a01 -r f2123b4487e9 web/prologue.html --- a/web/prologue.html Mon Dec 10 22:31:19 2012 +0100 +++ b/web/prologue.html Tue Dec 11 13:13:44 2012 +0100 @@ -24,8 +24,8 @@ this comment corrects the white-space (display: inline); -->