aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorEgor Tensin <Egor.Tensin@gmail.com>2022-03-23 10:17:59 +0300
committerEgor Tensin <Egor.Tensin@gmail.com>2022-03-23 10:17:59 +0300
commitae6dae3d3bb295859a318e45d32d9456ea3c92d2 (patch)
treeede9def2c5fffee306f481a5f4ae2bb054cfb2b3
parentshell: adjust for recent font size increase (diff)
downloadjekyll-theme-ae6dae3d3bb295859a318e45d32d9456ea3c92d2.tar.gz
jekyll-theme-ae6dae3d3bb295859a318e45d32d9456ea3c92d2.zip
shell: refactor CSS a bit
-rw-r--r--assets/css/jekyll-theme/shell.css3
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;