diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2022-04-05 11:51:03 +0200 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2022-04-05 11:51:03 +0200 |
commit | cf9bd91f6875c3289057f8d1a799c9beb1f5b268 (patch) | |
tree | 9f395f9a77a108d10fbed744224d3bb576d91d29 /assets/css | |
parent | notes/bash: generate HTML programmatically (diff) | |
download | blog-cf9bd91f6875c3289057f8d1a799c9beb1f5b268.tar.gz blog-cf9bd91f6875c3289057f8d1a799c9beb1f5b268.zip |
notes/bash: styling
Diffstat (limited to 'assets/css')
-rw-r--r-- | assets/css/bash.css | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/assets/css/bash.css b/assets/css/bash.css new file mode 100644 index 0000000..2b1665c --- /dev/null +++ b/assets/css/bash.css @@ -0,0 +1,21 @@ +.pre_container { + position: relative; +} +.pre_mark { + position: absolute; + top: 5px; + right: 5px; + user-select: none; +} +.pre_do pre { + border-color: #00d100; +} +.pre_do .glyphicon { + color: #00d100; +} +.pre_dont pre { + border-color: red; +} +.pre_dont .glyphicon { + color: red; +} |