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(-)
(limited to 'assets/css')
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