mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

rustdoc: remove redundant CSS on #copy-path

Browse Source 
The border and background were removed in
5d004c1e2020eaa9bc336f09b6b0475c0eef4d78, but not all the CSS was.
This commit is contained in:
Michael Howell 2022-10-17 11:53:42 -07:00
parent a9d1cafa87
commit 3aa3b8be4e
1 changed files with 8 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
src/librustdoc/html/static/css/rustdoc.css
View File

@ -1431,10 +1431,7 @@ h3.variant {
} }
#settings-menu > a, #help-button > a, #copy-path { #settings-menu > a, #help-button > a, #copy-path {
padding: 5px;
width: 33px; width: 33px;
border: 1px solid var(--border-color);
border-radius: 2px;
cursor: pointer; cursor: pointer;
line-height: 1.5; line-height: 1.5;
} }
@ -1444,10 +1441,18 @@ h3.variant {
height: 100%; height: 100%;
display: block; display: block;
background-color: var(--button-background-color); background-color: var(--button-background-color);
border: 1px solid var(--border-color);
border-radius: 2px;
} }
#copy-path { #copy-path {
color: var(--copy-path-button-color); color: var(--copy-path-button-color);
background: var(--main-background-color);
height: 34px;
margin-left: 10px;
padding: 0;
padding-left: 2px;
border: 0;
} }
#copy-path > img { #copy-path > img {
filter: var(--copy-path-img-filter); filter: var(--copy-path-img-filter);
@ -1495,15 +1500,6 @@ input:checked + .slider {
padding-top: 2px; padding-top: 2px;
} }
#copy-path {
height: 34px;
background-color: var(--main-background-color);
margin-left: 10px;
padding: 0;
padding-left: 2px;
border: 0;
}
kbd { kbd {
display: inline-block; display: inline-block;
padding: 3px 5px; padding: 3px 5px;