From f72fe1f68a8a471c93b5d96ca02515d00a2ec111 Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Tue, 22 Mar 2022 00:01:29 +0300
Subject: shell: border on the outer div

---
 assets/css/shell.css | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/assets/css/shell.css b/assets/css/shell.css
index d1cc217..6e8ddce 100644
--- a/assets/css/shell.css
+++ b/assets/css/shell.css
@@ -29,11 +29,14 @@
 }
 
 /* Styling, yo. */
-.shell-mark, .shell-cmd {
+.shell > div {
+  /* Color the border in the color of grass. */
+  border: medium solid #008567;
   border-width: 0 0 medium 0;
+}
+.shell-mark, .shell-cmd {
+  border: none;
   background-color: #f0f0f0;
-  /* Color the border in the color of grass. */
-  border-color: #008567;
 }
 .shell-mark {
   font-weight: bold;
-- 
cgit v1.2.3