diff options
| author | bors <bors@rust-lang.org> | 2023-01-19 02:09:45 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-01-19 02:09:45 +0000 |
| commit | 6ba6d22bdf5348e566dedc77a7dfee3f3804f2fb (patch) | |
| tree | a692060b061247109fb5a7302e39fc0b30c3dd9d /src/librustdoc/html/static/css | |
| parent | 8b11574ca07f95dd33861d145a43708c20cb4eb5 (diff) | |
| parent | e12c6b277fab3aa401d38b89b0b3ec8fc96c8bde (diff) | |
| download | rust-6ba6d22bdf5348e566dedc77a7dfee3f3804f2fb.tar.gz rust-6ba6d22bdf5348e566dedc77a7dfee3f3804f2fb.zip | |
Auto merge of #107052 - compiler-errors:rollup-vxr22g5, r=compiler-errors
Rollup of 8 pull requests Successful merges: - #105796 (rustdoc: simplify JS search routine by not messing with lev distance) - #106753 (Make sure that RPITITs are not considered suggestable) - #106917 (Encode const mir for closures if they're const) - #107004 (Implement some candidates for the new solver (redux)) - #107023 (Stop using `BREAK` & `CONTINUE` in compiler) - #107030 (Correct typo) - #107042 (rustdoc: fix corner cases with "?" JS keyboard command) - #107045 (rustdoc: remove redundant CSS rule `#settings .setting-line`) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
Diffstat (limited to 'src/librustdoc/html/static/css')
| -rw-r--r-- | src/librustdoc/html/static/css/settings.css | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/librustdoc/html/static/css/settings.css b/src/librustdoc/html/static/css/settings.css index 3fa47875173..7211ffb7795 100644 --- a/src/librustdoc/html/static/css/settings.css +++ b/src/librustdoc/html/static/css/settings.css @@ -1,5 +1,5 @@ .setting-line { - margin: 0.6em 0 0.6em 0.3em; + margin: 1.2em 0.6em; position: relative; } @@ -55,10 +55,6 @@ cursor: pointer; } -#settings .setting-line { - margin: 1.2em 0.6em; -} - .setting-line .radio-line input:checked { box-shadow: inset 0 0 0 3px var(--main-background-color); background-color: var(--settings-input-color); |