From b87f8d07d5caa3165e633bda36f58c3e3180474e Mon Sep 17 00:00:00 2001 From: Manuel Date: Sun, 2 May 2021 17:58:04 +0200 Subject: [PATCH 1/2] Make only actual text in container selectable Previously there were preceded and appended newlines copied with the actual code when selecting everything due to invisible whitespace outside of the nested elements of the text-container --- static/application.css | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/static/application.css b/static/application.css index acb5844..4e76b51 100644 --- a/static/application.css +++ b/static/application.css @@ -6,6 +6,7 @@ body, html { } body { + user-select: none; background: #002B36; } @@ -15,6 +16,11 @@ body { height: calc(100% - 40px); } +.text-container > pre, +.text-container > textarea { + user-select: text; +} + /* textarea */ textarea { @@ -180,7 +186,3 @@ textarea { #messages li.error { background:rgba(102,8,0,0.8); } - -#linenos { - user-select: none; -} \ No newline at end of file From 4ca13c9af18a11c624b7f530c9fd2c45ad045cdf Mon Sep 17 00:00:00 2001 From: Manuel Date: Sun, 2 May 2021 18:05:33 +0200 Subject: [PATCH 2/2] Fix bottom space not working in Chromium --- static/application.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/static/application.css b/static/application.css index 4e76b51..bba02b2 100644 --- a/static/application.css +++ b/static/application.css @@ -60,7 +60,7 @@ textarea { outline: none; font-size: 13px; overflow: inherit; - margin-bottom: 20px; + padding-bottom: 20px; } #box code {