From 64b0c2d11c982135e5a7c1e8d4cef1602369d29a Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Mon, 21 Mar 2022 23:54:14 +0300
Subject: refactor shell.css a bit

---
 assets/css/shell.css | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/assets/css/shell.css b/assets/css/shell.css
index fcfa5d1..d1cc217 100644
--- a/assets/css/shell.css
+++ b/assets/css/shell.css
@@ -29,21 +29,22 @@
 }
 
 /* Styling, yo. */
-.shell-cmd, .shell-mark {
+.shell-mark, .shell-cmd {
   border-width: 0 0 medium 0;
   background-color: #f0f0f0;
   /* Color the border in the color of grass. */
   border-color: #008567;
 }
-.shell-out {
-  border-width: 0 0 thin 0;
-}
-.shell-cmd {
-  padding-left: 0;
-}
 .shell-mark {
   font-weight: bold;
   /* I like colors. */
   color: #20004b;
   user-select: none;
 }
+.shell-cmd {
+  /* No double-padding between .shell-mark and .shell-cmd. */
+  padding-left: 0;
+}
+.shell-out {
+  border-width: 0 0 thin 0;
+}
-- 
cgit v1.2.3