diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-03-31 16:43:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-31 16:43:52 +0200 |
| commit | 2fceb2dcd7280883e6a3c2beec9190148a5d975b (patch) | |
| tree | f9818456e47548d52f6ddacd6e7360ef50bc2432 /doc-tool/resources/css/dottydoc.css | |
| parent | a0c0b605110980abb5d993dadcc943d148e8e262 (diff) | |
| parent | 29ff5ad791a19632a22eb8f4d520277fbbef3bfb (diff) | |
| download | dotty-2fceb2dcd7280883e6a3c2beec9190148a5d975b.tar.gz dotty-2fceb2dcd7280883e6a3c2beec9190148a5d975b.tar.bz2 dotty-2fceb2dcd7280883e6a3c2beec9190148a5d975b.zip | |
Merge pull request #2153 from dotty-staging/topic/dottest-userman
Add documentation for new parallel testing suite
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; +} |