From f72fe1f68a8a471c93b5d96ca02515d00a2ec111 Mon Sep 17 00:00:00 2001 From: Egor Tensin 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') 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