Graves preview page: Change grave margin
authorWuzzy <Wuzzy2@mail.ru>
Sun, 07 Jun 2020 18:11:12 +0200
changeset 15629 c61dddd7c1a8
parent 15628 969bc30928da
child 15630 899fd1841399
Graves preview page: Change grave margin
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;
 }