diff options
| author | Noah Lev <camelidcamel@gmail.com> | 2023-06-23 10:12:27 -0700 |
|---|---|---|
| committer | Noah Lev <camelidcamel@gmail.com> | 2023-06-23 10:12:27 -0700 |
| commit | 12de5b7ff33fe37eb8ce5dd92efd1366e43e85aa (patch) | |
| tree | f3dcad427bd5adb408d421b2db051ad1eef03398 /src/librustdoc/html/static/css/rustdoc.css | |
| parent | c4fca7202b83053f12e1f47ec0a44c01de2ec2aa (diff) | |
| download | rust-12de5b7ff33fe37eb8ce5dd92efd1366e43e85aa.tar.gz rust-12de5b7ff33fe37eb8ce5dd92efd1366e43e85aa.zip | |
Make typenames a bit wider to support "existential type"
Diffstat (limited to 'src/librustdoc/html/static/css/rustdoc.css')
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 83b989fc080..b4ee3482de3 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -894,7 +894,7 @@ so that we can apply CSS-filters to change the arrow color in themes */ display: inline-block; color: var(--search-results-grey-color); font-size: 0.875rem; - width: 6rem; + width: 7rem; } .popover { |