diff options
| author | David Wood <david@davidtw.co> | 2018-07-18 20:27:25 +0100 |
|---|---|---|
| committer | David Wood <david@davidtw.co> | 2018-07-18 20:27:25 +0100 |
| commit | 959a13d53e27ca92b59798e6c6737f8249d59a2e (patch) | |
| tree | b40a44bbded044d5c1d024d0aad36ada2c36455f /src/librustdoc/html/static/rustdoc.css | |
| parent | d0d33a03351433b7c27ae03e17bf18ad627379fe (diff) | |
Updated wording and placement of non-exhaustive notice so it is collapsed by default and easier to understand.
Diffstat (limited to 'src/librustdoc/html/static/rustdoc.css')
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index 575a7ea2792..b689e2fa385 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -1358,4 +1358,8 @@ kbd { } #all-types > p { margin: 5px 0; -} \ No newline at end of file +} + +.non-exhaustive { + margin-bottom: 1em; +} |
