aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorEgor Tensin <Egor.Tensin@gmail.com>2022-03-23 10:14:40 +0300
committerEgor Tensin <Egor.Tensin@gmail.com>2022-03-23 10:14:40 +0300
commit4f79a17c0d2e13a21b4f4b54899e4d4705d7a6b4 (patch)
tree1ca8be18486456d71436f93a9d3604215ce114eb
parentposts: increase bottom margin for feed entries (diff)
downloadjekyll-theme-4f79a17c0d2e13a21b4f4b54899e4d4705d7a6b4.tar.gz
jekyll-theme-4f79a17c0d2e13a21b4f4b54899e4d4705d7a6b4.zip
shell: adjust for recent font size increase
Diffstat (limited to '')
-rw-r--r--assets/css/jekyll-theme/shell.css6
1 files changed, 3 insertions, 3 deletions
diff --git a/assets/css/jekyll-theme/shell.css b/assets/css/jekyll-theme/shell.css
index 6e8ddce..7494508 100644
--- a/assets/css/jekyll-theme/shell.css
+++ b/assets/css/jekyll-theme/shell.css
@@ -5,12 +5,12 @@
}
/* WTF is this? I somehow came up with it, but I hope there's a better way.
- * 10.5px is the standard bottom margin for <pre>s. */
+ * 11px is the standard bottom margin for <pre>s. */
.shell {
- margin-bottom: 10.5px;
+ margin-bottom: 11px;
}
.shell + .shell {
- margin-top: -10.5px;
+ margin-top: -11px;
}
.shell > div {