diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2022-03-21 23:52:25 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2022-03-21 23:52:25 +0300 |
| commit | b3f9c017adb79ab13cff2c26e32c69ec7368f1d0 (patch) | |
| tree | 5099c8ad0df9d6e3d97f60fd324827004981145f /assets/css | |
| parent | shell: lighter command background (diff) | |
| download | jekyll-theme-b3f9c017adb79ab13cff2c26e32c69ec7368f1d0.tar.gz jekyll-theme-b3f9c017adb79ab13cff2c26e32c69ec7368f1d0.zip | |
shell: fix scrollbars
Diffstat (limited to '')
| -rw-r--r-- | assets/css/shell.css | 10 |
1 files changed, 9 insertions, 1 deletions
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. */ |