File tree Expand file tree Collapse file tree 4 files changed +8
-7
lines changed
src/librustdoc/html/static/css Expand file tree Collapse file tree 4 files changed +8
-7
lines changed Original file line number Diff line number Diff line change @@ -1502,7 +1502,6 @@ kbd {
15021502 vertical-align : middle;
15031503 border : solid 1px ;
15041504 border-radius : 3px ;
1505- box-shadow : inset 0 -1px 0 ;
15061505 cursor : default;
15071506}
15081507
Original file line number Diff line number Diff line change @@ -532,7 +532,7 @@ kbd {
532532 background-color : # 314559 ;
533533 border-color : # 5c6773 ;
534534 border-bottom-color : # 5c6773 ;
535- box-shadow-color : # c6cbd1 ;
535+ box-shadow : inset 0 -1 px 0 # 5c6773 ;
536536}
537537
538538# theme-picker , # settings-menu , # help-button {
@@ -631,5 +631,5 @@ input:checked + .slider {
631631 background : # 616161 ;
632632}
633633.toggle-line : hover .toggle-line-inner {
634- background : # # 898989 ;
634+ background : # 898989 ;
635635}
Original file line number Diff line number Diff line change @@ -408,7 +408,7 @@ kbd {
408408 background-color : # fafbfc ;
409409 border-color : # d1d5da ;
410410 border-bottom-color : # c6cbd1 ;
411- box-shadow-color : # c6cbd1 ;
411+ box-shadow : inset 0 -1 px 0 # c6cbd1 ;
412412}
413413
414414# theme-picker , # settings-menu , # help-button {
@@ -497,5 +497,5 @@ div.files > .selected {
497497 background : # 616161 ;
498498}
499499.toggle-line : hover .toggle-line-inner {
500- background : # # 898989 ;
500+ background : # 898989 ;
501501}
Original file line number Diff line number Diff line change @@ -44,7 +44,9 @@ pre, .rustdoc.source .example-wrap {
4444}
4545
4646.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+ */
4850}
4951
5052/* Improve the scrollbar display on webkit-based browsers */
@@ -392,7 +394,7 @@ kbd {
392394 background-color : # fafbfc ;
393395 border-color : # d1d5da ;
394396 border-bottom-color : # c6cbd1 ;
395- box-shadow-color : # c6cbd1 ;
397+ box-shadow : inset 0 -1 px 0 # c6cbd1 ;
396398}
397399
398400# theme-picker , # settings-menu , # help-button {
You can’t perform that action at this time.
0 commit comments