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/guides.css | |
parent | notes/makefile: redesign (diff) | |
download | blog-aa300c7d9b24d81c3922b3c53c95e9a7f19dd601.tar.gz blog-aa300c7d9b24d81c3922b3c53c95e9a7f19dd601.zip |
bash.css -> guides.css
Diffstat (limited to 'assets/css/guides.css')
-rw-r--r-- | assets/css/guides.css | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/assets/css/guides.css b/assets/css/guides.css new file mode 100644 index 0000000..2b1665c --- /dev/null +++ b/assets/css/guides.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; +} |