diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-10-17 15:17:00 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-10-17 15:17:00 +0200 |
| commit | 3566132a836f76e7365a47a1687edace7604bb39 (patch) | |
| tree | 58572fce10ccf642fe646fd228fc231987f5fb96 /src | |
| parent | 0e022fc2b8eecbc16c090a99efbbd262c37ec962 (diff) | |
Small CSS cleanup
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index 391526f0a30..87e7c26f1a7 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -1553,11 +1553,7 @@ h4 > .notable-traits { } @media (max-width: 416px) { - #titles { - height: 73px; - } - - #titles > div { + #titles, #titles > div { height: 73px; } } |