Regenerated

2026-04-21 22:48:26 +02:00
parent 447024e143
commit 8ef5d38340
4 changed files with 386 additions and 416 deletions
@@ -8,16 +8,6 @@
  transition: 200ms;
 }

-/* ── Gradient border mixin via background-image trick ──────────────────────
-   Elements that need a gradient border get:
-     background-image: linear-gradient(@base, @base),
-                       linear-gradient(45deg, @blue, @green);
-     background-clip: padding-box, border-box;
-     background-origin: padding-box, border-box;
-     border: 1px solid transparent;
-   This paints the gradient behind the element, clipped to the border area.
-   ────────────────────────────────────────────────────────────────────────── */
-
 /* ── Notification rows ─────────────────────────────────────────────────── */

 .notification-row {