From dad425f60e1ee8af6dc635ce58af825353211ac2 Mon Sep 17 00:00:00 2001 From: Brendan Hansen Date: Mon, 18 Apr 2022 21:19:19 +0000 Subject: [PATCH] bugfix for vim line in editor --- static/css/index.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/static/css/index.css b/static/css/index.css index f52cc72..17f96ca 100644 --- a/static/css/index.css +++ b/static/css/index.css @@ -107,7 +107,7 @@ select:hover { } #code-editor { - height: 100%; + height: calc(100% - var(--tab-line-height)); } #code-result { -- 2.25.1