shell: border on the outer div

1 files 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;