blob: 6e8ddce2c454c1373d7c4a184525d92bc2cd5cbb (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
.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;
overflow: auto;
}
.shell-mark {
/* Don't shrink it. */
flex: none;
}
.shell-cmd {
flex: 1;
/* The combination of overflow values disables the scrollbar for .shell-cmd
* and assigns it to the outer div instead, which looks nicer. */
overflow: visible;
}
/* Styling, yo. */
.shell > div {
/* Color the border in the color of grass. */
border: medium solid #008567;
border-width: 0 0 medium 0;
}
.shell-mark, .shell-cmd {
border: none;
background-color: #f0f0f0;
}
.shell-mark {
font-weight: bold;
/* I like colors. */
color: #20004b;
user-select: none;
}
.shell-cmd {
/* No double-padding between .shell-mark and .shell-cmd. */
padding-left: 0;
}
.shell-out {
border-width: 0 0 thin 0;
}
|
