From ba7969dad447fdfee5b2a8dd42b26155275c9157 Mon Sep 17 00:00:00 2001
From: Elian Doran <contact@eliandoran.me>
Date: Mon, 15 Dec 2025 08:08:45 +0200
Subject: [PATCH] style(backend-log): remove extra padding & decrease font size

---
 apps/client/src/stylesheets/style.css              |  1 +
 apps/client/src/widgets/type_widgets/code/code.css | 12 ++++--------
 2 files changed, 5 insertions(+), 8 deletions(-)

diff --git a/apps/client/src/stylesheets/style.css b/apps/client/src/stylesheets/style.css
index 788cda8c0..cb286317d 100644
--- a/apps/client/src/stylesheets/style.css
+++ b/apps/client/src/stylesheets/style.css
@@ -629,6 +629,7 @@ pre:not(.hljs) {
 
 pre:has(> .cm-editor) {
     padding: 0;
+    margin: 0;
 }
 
 pre > button.copy-button {
diff --git a/apps/client/src/widgets/type_widgets/code/code.css b/apps/client/src/widgets/type_widgets/code/code.css
index 1a4eea588..db5a9d2e8 100644
--- a/apps/client/src/widgets/type_widgets/code/code.css
+++ b/apps/client/src/widgets/type_widgets/code/code.css
@@ -23,13 +23,9 @@
     height: 100%;
     display: flex;
     flex-direction: column;
-}
 
-.backend-log-editor {
-    flex-grow: 1;
-    width: 100%;
-    border: none;
-    resize: none;
-    margin-bottom: 0;
+    .cm-editor {
+        font-size: 0.85em;
+    }
 }
-/* #endregion */
\ No newline at end of file
+/* #endregion */