diff -r 909ef1f3ef19 -r f22ebcd9f3fc misc/hats_js_anim.xhtml --- a/misc/hats_js_anim.xhtml Sat May 16 03:41:49 2020 +0200 +++ b/misc/hats_js_anim.xhtml Sat May 16 04:28:26 2020 +0200 @@ -307,7 +307,7 @@ var a = document.getElementsByTagName("a"); for (var i=0;i