@@ -364,11 +364,6 @@ li {
364
364
margin-left: 0px;
365
365
}
366
366
367
- nav.sub {
368
- position: relative;
369
- font-size: 1rem;
370
- }
371
-
372
367
.sub-container {
373
368
display: flex;
374
369
flex-direction: row;
@@ -638,9 +633,6 @@ h2.location a {
638
633
}
639
634
.docblock-short p {
640
635
display: inline;
641
- }
642
-
643
- .docblock-short p {
644
636
overflow: hidden;
645
637
text-overflow: ellipsis;
646
638
margin: 0;
@@ -820,6 +812,8 @@ pre, .rustdoc.source .example-wrap {
820
812
}
821
813
822
814
nav.sub {
815
+ position: relative;
816
+ font-size: 1rem;
823
817
flex-grow: 1;
824
818
margin-bottom: 25px;
825
819
}
@@ -919,6 +913,7 @@ table,
919
913
position: relative;
920
914
display: flex;
921
915
height: 34px;
916
+ margin-top: 4px;
922
917
}
923
918
.search-container > * {
924
919
height: 100%;
@@ -990,9 +985,6 @@ so that we can apply CSS-filters to change the arrow color in themes */
990
985
#crate-search > option {
991
986
font-size: 1rem;
992
987
}
993
- .search-container {
994
- margin-top: 4px;
995
- }
996
988
.search-input {
997
989
/* Override Normalize.css: it has a rule that sets
998
990
-webkit-appearance: textfield for search inputs. That
@@ -1188,6 +1180,7 @@ so that we can apply CSS-filters to change the arrow color in themes */
1188
1180
padding-left: 12px;
1189
1181
padding-right: 2px;
1190
1182
position: initial;
1183
+ float: right;
1191
1184
}
1192
1185
1193
1186
.impl-items .srclink, .impl .srclink, .methods .srclink {
@@ -1196,10 +1189,6 @@ so that we can apply CSS-filters to change the arrow color in themes */
1196
1189
font-size: 1rem;
1197
1190
}
1198
1191
1199
- .rightside {
1200
- float: right;
1201
- }
1202
-
1203
1192
td.summary-column {
1204
1193
width: 100%;
1205
1194
}
@@ -1226,7 +1215,7 @@ a.test-arrow {
1226
1215
.example-wrap:hover .test-arrow {
1227
1216
visibility: visible;
1228
1217
}
1229
- a.test-arrow:hover{
1218
+ a.test-arrow:hover {
1230
1219
text-decoration: none;
1231
1220
}
1232
1221
@@ -1494,10 +1483,6 @@ pre.rust {
1494
1483
outline: none;
1495
1484
}
1496
1485
1497
- #copy-path {
1498
- height: 34px;
1499
- background-color: var(--main-background-color);
1500
- }
1501
1486
#settings-menu > a, #help-button > button, #copy-path {
1502
1487
padding: 5px;
1503
1488
width: 33px;
@@ -1555,7 +1540,8 @@ input:checked + .slider {
1555
1540
}
1556
1541
1557
1542
#copy-path {
1558
- background: initial;
1543
+ height: 34px;
1544
+ background-color: var(--main-background-color);
1559
1545
margin-left: 10px;
1560
1546
padding: 0;
1561
1547
padding-left: 2px;
@@ -1835,10 +1821,6 @@ in storage.js plus the media query with (min-width: 701px)
1835
1821
display: none;
1836
1822
}
1837
1823
1838
- .sidebar-elems {
1839
- margin-top: 1em;
1840
- }
1841
-
1842
1824
.sidebar {
1843
1825
position: fixed;
1844
1826
top: 45px;
@@ -1932,6 +1914,7 @@ in storage.js plus the media query with (min-width: 701px)
1932
1914
}
1933
1915
1934
1916
.sidebar-elems {
1917
+ margin-top: 1em;
1935
1918
background-color: var(--sidebar-background-color);
1936
1919
}
1937
1920
0 commit comments