general index fix #541

2019-12-18 18:17:11 +01:00
parent eb19a2f6b3
commit 62de7f6b06
6 changed files with 6 additions and 6 deletions
@@ -2156,7 +2156,7 @@ footer{
          pointer-events: none;
          // docsindex
          &:first-of-type{
-            margin-right: 4em;
+            margin-right: 3.4em;
          }
          // articles
          &:last-of-type:not(.entree){