diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2025-04-07 17:28:38 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2025-04-07 17:28:46 +0200 |
| commit | 39c6b6c7d2834ee79cc518c42995b54d835544f8 (patch) | |
| tree | eea63a1a12de414d7a7bbab65a6c3296121482da | |
| parent | 8fb32ab8e563124fe0968a2878b7f5b5d0e8d722 (diff) | |
| download | rust-39c6b6c7d2834ee79cc518c42995b54d835544f8.tar.gz rust-39c6b6c7d2834ee79cc518c42995b54d835544f8.zip | |
Fix 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 { |