aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
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 {