From b3f9c017adb79ab13cff2c26e32c69ec7368f1d0 Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Mon, 21 Mar 2022 23:52:25 +0300
Subject: shell: fix scrollbars

---
 assets/css/shell.css | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'assets')

diff --git a/assets/css/shell.css b/assets/css/shell.css
index b9c8b97..fcfa5d1 100644
--- a/assets/css/shell.css
+++ b/assets/css/shell.css
@@ -15,9 +15,17 @@
 
 .shell > div {
   display: flex;
+  overflow: auto;
+}
+.shell-mark {
+  /* Don't shrink it. */
+  flex: none;
 }
 .shell-cmd {
-  flex: 2;
+  flex: 1;
+  /* The combination of overflow values disables the scrollbar for .shell-cmd
+   * and assigns it to the outer div instead, which looks nicer. */
+  overflow: visible;
 }
 
 /* Styling, yo. */
-- 
cgit v1.2.3