diff options
| author | dotty-bot <felix.mulder@epfl.ch> | 2017-03-31 16:08:59 +0000 |
|---|---|---|
| committer | dotty-bot <felix.mulder@epfl.ch> | 2017-03-31 16:08:59 +0000 |
| commit | 792c6f1169d63547b218d72841bdc8e8a59144c5 (patch) | |
| tree | 2d9f314c3eead85a7f326c23a145e6f15ca828e9 /css | |
| parent | 866d0c688713d2829ceeb0dc9ace3b075510a110 (diff) | |
| download | dotty-792c6f1169d63547b218d72841bdc8e8a59144c5.tar.gz dotty-792c6f1169d63547b218d72841bdc8e8a59144c5.tar.bz2 dotty-792c6f1169d63547b218d72841bdc8e8a59144c5.zip | |
Update gh-pages site for d73c8e42ca526ff2c53a17ddd1fa87044dd5bbca
Diffstat (limited to 'css')
| -rw-r--r-- | css/dottydoc.css | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/css/dottydoc.css b/css/dottydoc.css index 0b833830c..a89e23375 100644 --- a/css/dottydoc.css +++ b/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; +} |