diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2022-03-23 10:17:59 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2022-03-23 10:17:59 +0300 |
| commit | ae6dae3d3bb295859a318e45d32d9456ea3c92d2 (patch) | |
| tree | ede9def2c5fffee306f481a5f4ae2bb054cfb2b3 | |
| parent | shell: adjust for recent font size increase (diff) | |
| download | jekyll-theme-ae6dae3d3bb295859a318e45d32d9456ea3c92d2.tar.gz jekyll-theme-ae6dae3d3bb295859a318e45d32d9456ea3c92d2.zip | |
shell: refactor CSS a bit
| -rw-r--r-- | assets/css/jekyll-theme/shell.css | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/assets/css/jekyll-theme/shell.css b/assets/css/jekyll-theme/shell.css index 7494508..215d610 100644 --- a/assets/css/jekyll-theme/shell.css +++ b/assets/css/jekyll-theme/shell.css @@ -31,8 +31,7 @@ /* Styling, yo. */ .shell > div { /* Color the border in the color of grass. */ - border: medium solid #008567; - border-width: 0 0 medium 0; + border-bottom: medium solid #008567; } .shell-mark, .shell-cmd { border: none; |