# HG changeset patch
# User Wuzzy <Wuzzy2@mail.ru>
# Date 1591546272 -7200
# Node ID c61dddd7c1a89bfa8973deaec2671dd5f81e3947
# Parent  969bc30928da7c899da6f95bfd49d2ef4dcb7076
Graves preview page: Change grave margin

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;
 }