diff -r 969bc30928da -r c61dddd7c1a8 misc/graves_js_anim.xhtml
--- a/misc/graves_js_anim.xhtml	Sun Jun 07 18:01:00 2020 +0200
+++ b/misc/graves_js_anim.xhtml	Sun Jun 07 18:11:12 2020 +0200
@@ -54,7 +54,7 @@
 .hide { visibility: hidden; }
 a div
 {
-    margin-top: -5px;
+    margin-top: 6px;
     height: 32px;
     width: 32px;
 }