aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/assets/css
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--assets/css/main.css1
-rw-r--r--assets/css/shell.css41
2 files changed, 42 insertions, 0 deletions
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;
+}