From 12de5b7ff33fe37eb8ce5dd92efd1366e43e85aa Mon Sep 17 00:00:00 2001 From: Noah Lev Date: Fri, 23 Jun 2023 10:12:27 -0700 Subject: [PATCH] Make typenames a bit wider to support "existential type" --- src/librustdoc/html/static/css/rustdoc.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 {