From ce059fee0df97efcfb30b173ee6d8aa7a8d43ecd Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Mon, 21 Mar 2022 22:17:07 +0300
Subject: add an include for shell commands & output

---
 assets/css/main.css  |  1 +
 assets/css/shell.css | 41 +++++++++++++++++++++++++++++++++++++++++
 2 files changed, 42 insertions(+)
 create mode 100644 assets/css/shell.css

(limited to 'assets')

diff --git a/assets/css/main.css b/assets/css/main.css
index 68c6414..b84b432 100644
--- a/assets/css/main.css
+++ b/assets/css/main.css
@@ -2,5 +2,6 @@
 @import 'common/footer.css';
 @import 'common/posts.css';
 @import 'common/utils.css';
+@import 'shell.css';
 @import 'snippets.css';
 @import 'syntax.css';
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;
+}
-- 
cgit v1.2.3