diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2022-10-22 23:30:02 +0200 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2022-10-22 23:30:02 +0200 |
commit | aa300c7d9b24d81c3922b3c53c95e9a7f19dd601 (patch) | |
tree | 7ccb7815d4127b23267e43c565afd333960fa5a2 /assets/css/bash.css | |
parent | notes/makefile: redesign (diff) | |
download | blog-aa300c7d9b24d81c3922b3c53c95e9a7f19dd601.tar.gz blog-aa300c7d9b24d81c3922b3c53c95e9a7f19dd601.zip |
bash.css -> guides.css
Diffstat (limited to 'assets/css/bash.css')
-rw-r--r-- | assets/css/bash.css | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/assets/css/bash.css b/assets/css/bash.css deleted file mode 100644 index 2b1665c..0000000 --- a/assets/css/bash.css +++ /dev/null @@ -1,21 +0,0 @@ -.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; -} |