diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2025-08-04 17:23:56 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2025-08-04 19:17:08 +0200 |
| commit | b4f404b581a3e93c146ca2ea711fa03dca77327b (patch) | |
| tree | 8a30cd3e2fa6d188a700efb58072b36a182a3fb1 /src | |
| parent | e1b9081e699065badfc1a9419ec9566e5c8615c4 (diff) | |
| download | rust-b4f404b581a3e93c146ca2ea711fa03dca77327b.tar.gz rust-b4f404b581a3e93c146ca2ea711fa03dca77327b.zip | |
Fix wrong font being used for tooltips `i` icons
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 99b3da8b2cd..c48863b4681 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -1838,6 +1838,10 @@ instead, we check that it's not a "finger" cursor. border-right: 3px solid var(--target-border-color); } +a.tooltip { + font-family: var(--font-family); +} + .code-header a.tooltip { color: inherit; margin-right: 15px; |