From e7f0736a7ad47e3cb445d4f3684a34a509e40aaf Mon Sep 17 00:00:00 2001
From: joshuaboud <joshuaboud@hotmail.com>
Date: Thu, 27 May 2021 15:36:14 -0300
Subject: [PATCH] custom border on editor textarea

---
 navigator/navigator.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/navigator/navigator.css b/navigator/navigator.css
index a9e6553..c987317 100644
--- a/navigator/navigator.css
+++ b/navigator/navigator.css
@@ -281,6 +281,10 @@ body::-webkit-scrollbar-thumb {
 	white-space: pre;
 	overflow: auto;
 	resize: none;
+	border: 1px solid var(--border);
+	border-radius: 4px;
+	outline: none;
+	padding: 5px;
 }
 
 .nav-toggle {