File tree 4 files changed +8
-7
lines changed
src/librustdoc/html/static/css
4 files changed +8
-7
lines changed Original file line number Diff line number Diff line change @@ -1502,7 +1502,6 @@ kbd {
1502
1502
vertical-align : middle;
1503
1503
border : solid 1px ;
1504
1504
border-radius : 3px ;
1505
- box-shadow : inset 0 -1px 0 ;
1506
1505
cursor : default;
1507
1506
}
1508
1507
Original file line number Diff line number Diff line change @@ -531,7 +531,7 @@ kbd {
531
531
background-color : # 314559 ;
532
532
border-color : # 5c6773 ;
533
533
border-bottom-color : # 5c6773 ;
534
- box-shadow-color : # c6cbd1 ;
534
+ box-shadow : inset 0 -1 px 0 # 5c6773 ;
535
535
}
536
536
537
537
# theme-picker , # settings-menu , # help-button {
@@ -630,5 +630,5 @@ input:checked + .slider {
630
630
background : # 616161 ;
631
631
}
632
632
.toggle-line : hover .toggle-line-inner {
633
- background : # # 898989 ;
633
+ background : # 898989 ;
634
634
}
Original file line number Diff line number Diff line change @@ -407,7 +407,7 @@ kbd {
407
407
background-color : # fafbfc ;
408
408
border-color : # d1d5da ;
409
409
border-bottom-color : # c6cbd1 ;
410
- box-shadow-color : # c6cbd1 ;
410
+ box-shadow : inset 0 -1 px 0 # c6cbd1 ;
411
411
}
412
412
413
413
# theme-picker , # settings-menu , # help-button {
@@ -496,5 +496,5 @@ div.files > .selected {
496
496
background : # 616161 ;
497
497
}
498
498
.toggle-line : hover .toggle-line-inner {
499
- background : # # 898989 ;
499
+ background : # 898989 ;
500
500
}
Original file line number Diff line number Diff line change @@ -44,7 +44,9 @@ pre, .rustdoc.source .example-wrap {
44
44
}
45
45
46
46
.rust-logo {
47
- /* No need for a border in here! */
47
+ /* This rule exists to force other themes to explicitly style the logo.
48
+ * Rustdoc has a custom linter for this purpose.
49
+ */
48
50
}
49
51
50
52
/* Improve the scrollbar display on webkit-based browsers */
@@ -391,7 +393,7 @@ kbd {
391
393
background-color : # fafbfc ;
392
394
border-color : # d1d5da ;
393
395
border-bottom-color : # c6cbd1 ;
394
- box-shadow-color : # c6cbd1 ;
396
+ box-shadow : inset 0 -1 px 0 # c6cbd1 ;
395
397
}
396
398
397
399
# theme-picker , # settings-menu , # help-button {
You can’t perform that action at this time.
0 commit comments