diff options
| author | Stefan Schindler <dns2utf8@users.noreply.github.com> | 2021-05-22 09:01:33 +0000 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2021-05-22 15:29:59 +0200 |
| commit | ee7cc63e04bfdc514c32ad7840a516354545ef3f (patch) | |
| tree | 259eff0dd5ec487daa5d4f9c76316ae9cd9eb591 | |
| parent | d8de2b4c338471aacaf0e8a096f9a7148b146ab4 (diff) | |
| download | rust-ee7cc63e04bfdc514c32ad7840a516354545ef3f.tar.gz rust-ee7cc63e04bfdc514c32ad7840a516354545ef3f.zip | |
Add padding to mobile layout and fix width issue on both
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index d213c5cd156..35248b1024a 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -772,6 +772,7 @@ a { .search-results > a { display: block; + width: 100%; /* A little margin ensures the browser's outlining of focused links has room to display. */ margin-left: 2px; margin-right: 2px; @@ -1751,6 +1752,7 @@ details.undocumented[open] > summary::before { /* Display an alternating layout on tablets and phones */ .search-results > a { border-bottom: 1px solid #aaa9; + padding: 5px 0px; } .search-results .result-name { width: 100%; |