diff options
Diffstat (limited to 'doc-tool/resources/css/dottydoc.css')
-rw-r--r-- | doc-tool/resources/css/dottydoc.css | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/doc-tool/resources/css/dottydoc.css b/doc-tool/resources/css/dottydoc.css index 0b833830c..a89e23375 100644 --- a/doc-tool/resources/css/dottydoc.css +++ b/doc-tool/resources/css/dottydoc.css @@ -334,3 +334,23 @@ blockquote { color: #777; border-left: 0.25em solid #ddd; } + +aside { + padding: 15px; + margin: 10px 0; +} + +aside.warning { + border-left: 3px solid #d62c2c; + background-color: #ffe4e4; +} + +aside.notice { + border-left: 3px solid #4c97e4; + background-color: #e4ebff; +} + +aside.success { + border-left: 3px solid #36bf1d; + background-color: #ebfddd; +} |