From e4c7ddea4f5544c008c014169d0421ef8ebc089a Mon Sep 17 00:00:00 2001 From: Emmanuel Schanzer Date: Thu, 26 Mar 2026 06:49:56 -0400 Subject: [PATCH 1/2] make sure rotate elts in the table (like roughnums!) don't punch through --- src/web/css/editor.css | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/web/css/editor.css b/src/web/css/editor.css index 6cea932b..5375180f 100644 --- a/src/web/css/editor.css +++ b/src/web/css/editor.css @@ -2305,10 +2305,12 @@ table.pyret-table.pyret-matrix { table.pyret-table { width: 98%; overflow: scroll; } +/* make sure rotate elts in the table (like roughnums!) don't punch through */ table.pyret-table thead { box-shadow: 0px 2px 2px var(--shadow-color); position: sticky; top: 0; + z-index: 1; } table.pyret-table tr:last-child td:first-child { From b1f398d1d74d743db342d702c2d8c50d48205e72 Mon Sep 17 00:00:00 2001 From: Emmanuel Schanzer Date: Tue, 7 Apr 2026 11:19:54 -0400 Subject: [PATCH 2/2] replace transparent 1px trace border with non-transparent one, and be a lot smarter about our rounded corner borders --- src/web/css/editor.css | 37 +++++++++++++++++++++++++++---------- 1 file changed, 27 insertions(+), 10 deletions(-) diff --git a/src/web/css/editor.css b/src/web/css/editor.css index 5375180f..424288b1 100644 --- a/src/web/css/editor.css +++ b/src/web/css/editor.css @@ -486,7 +486,7 @@ div.repl-animation { div.trace { overflow-x: auto; - padding-top: 1px; + margin-top: 1px; } div.trace.error { background-color: var(--trace-err-bg); @@ -2304,8 +2304,8 @@ table.pyret-table.pyret-matrix { } -table.pyret-table { width: 98%; overflow: scroll; } -/* make sure rotate elts in the table (like roughnums!) don't punch through */ +table.pyret-table { width: 98%; overflow: scroll; border: none; } +/* make sure rotated elts in the table (like roughnums!) don't punch through */ table.pyret-table thead { box-shadow: 0px 2px 2px var(--shadow-color); position: sticky; @@ -2313,16 +2313,33 @@ table.pyret-table thead { z-index: 1; } -table.pyret-table tr:last-child td:first-child { - border-bottom-left-radius: var(--table-radius); +/* top/bottom borders on the first and last rows */ +table.pyret-table th { border-top: solid 1px black; } +table.pyret-table > :nth-last-child(1 of :has(tr)) > tr:last-child td { + border-bottom: solid 1px black; } -table.pyret-table tr:last-child td:last-child { - border-bottom-right-radius: var(--table-radius); + +/* left/right borders on the first and last cells */ +table.pyret-table td:first-child, table.pyret-table th:first-child { + border-left: solid 1px black; +} +table.pyret-table td:last-child, table.pyret-table th:last-child { + border-right: solid 1px black; } -/* style first and last th elements to use the table's rounded corners */ -table.pyret-table th:first-child { border-top-left-radius: var(--table-radius); } -table.pyret-table th:last-child { border-top-right-radius: var(--table-radius); } +/* rounded borders for corners */ +table.pyret-table th:first-child { + border-top-left-radius: var(--table-radius); +} +table.pyret-table th:last-child { + border-top-right-radius: var(--table-radius); +} +table.pyret-table > :nth-last-child(1 of :has(tr)) > tr:last-child td:first-child { + border-bottom-left-radius: var(--table-radius); +} +table.pyret-table > :nth-last-child(1 of :has(tr)) > tr:last-child td:last-child { + border-bottom-right-radius: var(--table-radius); +}