feat: styles

frontend/src/index.css

@@ -171,6 +171,19 @@
     cursor: pointer;
   }
 
+  /* Keyword hover tooltip */
+  .cm-tooltip.cm-tooltip-hover {
+    background: var(--card) !important;
+    border: 2px solid var(--border) !important;
+    padding: 8px 10px;
+    box-shadow:
+      3px 3px 0 0 var(--border),
+      5px 3px 0 0 transparent,
+      7px 3px 0 0 var(--border),
+      4px 4px 0 0 transparent,
+      6px 4px 0 0 var(--border);
+  }
+
   /* Ensure all interactive elements have pointer cursor */
   a, [role="link"], [role="tab"], [role="option"],
   [data-slot="popover-trigger"], [data-slot="toggle-group-item"],
@@ -188,12 +201,9 @@
      dots at alternating positions. Works even with overflow:auto.
   */
 
-  /* Panels and containers — checkerboard dot shadow */
-  [data-slot="table-container"],
+  /* Panels — dithered shadow (dialogs, popovers) */
   [data-slot="alert-dialog-content"],
-  [data-slot="popover-content"],
-  [data-slot="card"],
-  .panel-shadow {
+  [data-slot="popover-content"] {
     border: 2px solid var(--border);
     box-shadow:
       3px 3px 0 0 var(--border),
@@ -208,6 +218,12 @@
       6px 6px 0 0 transparent;
   }
 
+  /* Table container — no own border when inside a bordered parent */
+  [data-slot="table-container"] {
+    border: none;
+    box-shadow: none;
+  }
+
   /* Primary (default) buttons only — dithered shadow */
   button[data-slot="button"][data-variant="default"] {
     border: 2px solid var(--border);