tweaks

highlightjs · Apr 14, 2021 · 760e04d · 760e04d
1 parent 29a234a
commit 760e04d
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/tools/developer.html b/tools/developer.html
@@ -40,7 +40,7 @@
       align-items: baseline;
       padding: 0.25rem;
       padding-bottom: 0.125rem;
-      padding-top: 0.5rem;
+      padding-top: 0.4rem;
       margin: 0.5rem 0.25rem 0.125rem 0.25rem;
       border: 1px dashed #777;
       border-radius: 5px;
@@ -70,10 +70,7 @@
       opacity: 0;
       font-size: 70%;
       content: attr(data-klass);
-      margin-top: -1rem;
-      position: relative;
-      top: -1rem;
-      left: -100%;
+      margin-top: -0.7rem;
     }
   </style>
 </head>