diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2022-03-21 23:54:14 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2022-03-21 23:54:14 +0300 |
| commit | 64b0c2d11c982135e5a7c1e8d4cef1602369d29a (patch) | |
| tree | be68746384debad7f75c4eca5f3dc428814a7ea9 /assets/css/shell.css | |
| parent | shell: fix scrollbars (diff) | |
| download | jekyll-theme-64b0c2d11c982135e5a7c1e8d4cef1602369d29a.tar.gz jekyll-theme-64b0c2d11c982135e5a7c1e8d4cef1602369d29a.zip | |
refactor shell.css a bit
Diffstat (limited to 'assets/css/shell.css')
| -rw-r--r-- | assets/css/shell.css | 15 |
1 files 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; +} |