From 32230474b2ff3039561cf9081a7910293813788b Mon Sep 17 00:00:00 2001 From: disconcision Date: Thu, 26 Oct 2023 15:26:06 -0400 Subject: [PATCH] fix dhexp error hole formatting --- src/haz3lweb/www/style.css | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/haz3lweb/www/style.css b/src/haz3lweb/www/style.css index 6a646dc172..a8ea7bcae0 100644 --- a/src/haz3lweb/www/style.css +++ b/src/haz3lweb/www/style.css @@ -1517,6 +1517,7 @@ svg.expandable path { } .result { + padding-top: 0.1em; min-height: 1.6em; width: 100%; overflow-y: hidden; @@ -1548,8 +1549,6 @@ svg.expandable path { .DHCode svg.err-hole { fill: #d001; - transform: scaleY(0.8); - /* HACK(andrew) */ stroke-dasharray: 1, 1; stroke: var(--err-color); stroke-width: 1.2px;