From 28e667aa5c164ee5f50d4f5496d81f84fa2648bb Mon Sep 17 00:00:00 2001
From: Ni Rui <ranqus@gmail.com>
Date: Thu, 25 Apr 2024 18:15:34 +0800
Subject: [PATCH] Add a 10px padding between the edge of the window and the
 terminal interface

---
 ui/widgets/screen_console.css | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/ui/widgets/screen_console.css b/ui/widgets/screen_console.css
index fa2f9cf2..a298eb39 100644
--- a/ui/widgets/screen_console.css
+++ b/ui/widgets/screen_console.css
@@ -202,6 +202,15 @@
   z-index: 0;
 }
 
+#home-content 
+  > .screen
+  > .screen-screen
+  > .screen-console
+  > .console-console
+  > .terminal {
+  padding: 10px;
+}
+
 #home-content
   > .screen
   > .screen-screen