diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-03-30 15:52:17 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-03-30 17:42:15 +0200 |
| commit | 29ff5ad791a19632a22eb8f4d520277fbbef3bfb (patch) | |
| tree | d6a4a4980ffc6255e83fb1cec1f4677a8b7874db /doc-tool | |
| parent | f49c10d1667de897b2073d9b15c7c6cb8cc52482 (diff) | |
| download | dotty-29ff5ad791a19632a22eb8f4d520277fbbef3bfb.tar.gz dotty-29ff5ad791a19632a22eb8f4d520277fbbef3bfb.tar.bz2 dotty-29ff5ad791a19632a22eb8f4d520277fbbef3bfb.zip | |
Add documentation for new parallel testing suite
Diffstat (limited to 'doc-tool')
| -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; +} |