From ea75000101a002a02bbd9479ff879dd73bd00c0a Mon Sep 17 00:00:00 2001
From: Aljaz S <me@aljaxus.eu>
Date: Wed, 24 Nov 2021 09:27:39 +0100
Subject: [PATCH] permit text selection in pre elements

---
 src/public/style.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/public/style.css b/src/public/style.css
index a562fb3..628d812 100644
--- a/src/public/style.css
+++ b/src/public/style.css
@@ -22,6 +22,7 @@ html {
 
 textarea,
 input,
+pre,
 code {
     -webkit-user-select: text;
     -moz-user-select: text;