diff options
| author | Ralf Jung <post@ralfj.de> | 2025-04-10 14:24:19 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-04-10 14:24:19 +0200 |
| commit | f69ea4d82fdbf0fefc36118071bb69ec6253a285 (patch) | |
| tree | 351b40fa66750fb4eac0449318a360cf1167efd3 /src/librustdoc/html/static/css | |
| parent | 830c58be89e4717ca2c1e08f17d1e027707334e9 (diff) | |
| parent | 7d7de5bf3c3cbf9c2c5bbc5cbfb9197a8a427d35 (diff) | |
| download | rust-f69ea4d82fdbf0fefc36118071bb69ec6253a285.tar.gz rust-f69ea4d82fdbf0fefc36118071bb69ec6253a285.zip | |
Merge from rustc
Diffstat (limited to 'src/librustdoc/html/static/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 aa8df35258d..74d23b3143f 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -1447,7 +1447,7 @@ so that we can apply CSS-filters to change the arrow color in themes */ cursor: pointer; } .setting-check input { - flex-shrink: 0, + flex-shrink: 0; } .setting-radio input:checked { |