diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2022-03-21 22:17:07 +0300 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2022-03-21 22:17:07 +0300 |
commit | ce059fee0df97efcfb30b173ee6d8aa7a8d43ecd (patch) | |
tree | 4621b325cffc82c40723cd5eee4f3400674436b4 /assets/css/shell.css | |
parent | color badges green (diff) | |
download | jekyll-theme-ce059fee0df97efcfb30b173ee6d8aa7a8d43ecd.tar.gz jekyll-theme-ce059fee0df97efcfb30b173ee6d8aa7a8d43ecd.zip |
add an include for shell commands & output
Diffstat (limited to '')
-rw-r--r-- | assets/css/shell.css | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/assets/css/shell.css b/assets/css/shell.css new file mode 100644 index 0000000..9ddcf67 --- /dev/null +++ b/assets/css/shell.css @@ -0,0 +1,41 @@ +.shell pre { + /* Reset Bootstrap's settings for <pre>. */ + margin: 0; + border-radius: 0; +} + +/* 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. */ +.shell { + margin-bottom: 10.5px; +} +.shell + .shell { + margin-top: -10.5px; +} + +.shell > div { + display: flex; +} +.shell-cmd { + flex: 2; +} + +/* Styling, yo. */ +.shell-cmd, .shell-mark { + border-width: 0 0 medium 0; + background-color: #ececec; + /* 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; +} |