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 @@ -531,7 +531,7 @@ kbd {
531531 background-color : # 314559 ;
532532 border-color : # 5c6773 ;
533533 border-bottom-color : # 5c6773 ;
534- box-shadow-color : # c6cbd1 ;
534+ box-shadow : inset 0 -1 px 0 # 5c6773 ;
535535}
536536
537537# theme-picker , # settings-menu , # help-button {
@@ -630,5 +630,5 @@ input:checked + .slider {
630630 background : # 616161 ;
631631}
632632.toggle-line : hover .toggle-line-inner {
633- background : # # 898989 ;
633+ background : # 898989 ;
634634}
Original file line number Diff line number Diff line change @@ -407,7 +407,7 @@ kbd {
407407 background-color : # fafbfc ;
408408 border-color : # d1d5da ;
409409 border-bottom-color : # c6cbd1 ;
410- box-shadow-color : # c6cbd1 ;
410+ box-shadow : inset 0 -1 px 0 # c6cbd1 ;
411411}
412412
413413# theme-picker , # settings-menu , # help-button {
@@ -496,5 +496,5 @@ div.files > .selected {
496496 background : # 616161 ;
497497}
498498.toggle-line : hover .toggle-line-inner {
499- background : # # 898989 ;
499+ background : # 898989 ;
500500}
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 */
@@ -391,7 +393,7 @@ kbd {
391393 background-color : # fafbfc ;
392394 border-color : # d1d5da ;
393395 border-bottom-color : # c6cbd1 ;
394- box-shadow-color : # c6cbd1 ;
396+ box-shadow : inset 0 -1 px 0 # c6cbd1 ;
395397}
396398
397399# theme-picker , # settings-menu , # help-button {
You can’t perform that action at this time.
0 commit comments