fe862d3e 💄 (ui): Round table borders like the header clipping

💄 (ui): Round table borders like the header clipping

fe862d3e7554e559bb0dbe17fac524a0f25e9f6d · Michael Hainz · 2026-07-10T07:02:39Z

1 file changed, +4 -1

MODIFY src/main/resources/META-INF/resources/shark.css +4 -1

diff --git a/src/main/resources/META-INF/resources/shark.css b/src/main/resources/META-INF/resources/shark.css

index fb102f5..f3ab2a3 100644

--- a/src/main/resources/META-INF/resources/shark.css

+++ b/src/main/resources/META-INF/resources/shark.css

@@ -557,7 +557,10 @@

557 557 }

558 558

559 559 table {

560 - border-collapse: collapse;

560 + /* separate, not collapse: collapsed borders void border-radius, leaving the outer

561 + border square while the clipped header background still renders rounded */

562 + border-collapse: separate;

563 + border-spacing: 0;

561 564 width: 100%;

562 565 background: var(--surface);

563 566 border: 1px solid var(--border);