usage vid update, visual tweaks

2025-12-17 22:44:21 +01:00 · 2024-02-14 14:43:36 +01:00
parent 899423e328
commit 8da7752476
4 changed files with 3 additions and 3 deletions
--- a/lib/devtools.js
+++ b/lib/devtools.js
@@ -16,8 +16,8 @@ customElements.define('developer-tooling', class extends HTMLElement {
      <div>
        <style>
          :host > div {
-            padding-bottom: 4rem;
            font-size: .9em;
+            margin-left: -4px; /* scrollbar offset compensate */
          }

          #add-key-input {