@@ -32,6 +32,8 @@ xmlns="http://www.w3.org/2000/svg" aria-label="Copy to clipboard">\
32
32
xmlns= "http://www.w3.org/2000/svg" fill="black" height="18px">\
33
33
<g> <path d= "M9 19.414l-6.707-6.707 1.414-1.414L9 16.586 20.293 5.293l1.414 1.414" > </path>\
34
34
</ g></svg>');
35
+ --button-left-margin : 4px ;
36
+ --button-border-radius : 2px ;
35
37
}
36
38
37
39
/* See FiraSans-LICENSE.txt for the Fira Sans license. */
@@ -740,6 +742,11 @@ ul.block, .block li {
740
742
position : relative;
741
743
margin-bottom : 10px ;
742
744
}
745
+
746
+ .rustdoc .example-wrap > pre {
747
+ border-radius : 6px ;
748
+ }
749
+
743
750
/* For the last child of a div, the margin will be taken care of
744
751
by the margin-top of the next item. */
745
752
.rustdoc .example-wrap : last-child {
@@ -1442,13 +1449,13 @@ documentation. */
1442
1449
.example-wrap > a .test-arrow , .example-wrap .button-holder {
1443
1450
visibility : hidden;
1444
1451
position : absolute;
1445
- top : 5 px ;
1446
- right : 5 px ;
1452
+ top : 4 px ;
1453
+ right : 4 px ;
1447
1454
z-index : 1 ;
1448
1455
}
1449
1456
a .test-arrow {
1450
1457
padding : 5px 7px ;
1451
- border-radius : 5 px ;
1458
+ border-radius : var ( --button-border-radius ) ;
1452
1459
font-size : 1rem ;
1453
1460
color : var (--test-arrow-color );
1454
1461
background-color : var (--test-arrow-background-color );
@@ -1471,11 +1478,11 @@ a.test-arrow:hover {
1471
1478
background : var (--main-background-color );
1472
1479
height : var (--copy-path-height );
1473
1480
width : var (--copy-path-width );
1474
- margin-left : 5 px ;
1481
+ margin-left : var ( --button-left-margin ) ;
1475
1482
padding : 2px 0 0 4px ;
1476
1483
border : 0 ;
1477
1484
cursor : pointer;
1478
- border-radius : 5 px ;
1485
+ border-radius : var ( --button-border-radius ) ;
1479
1486
}
1480
1487
.example-wrap .button-holder .copy-button ::before {
1481
1488
filter : var (--copy-path-img-filter );
@@ -1652,7 +1659,7 @@ a.tooltip:hover::after {
1652
1659
}
1653
1660
1654
1661
# settings-menu , # help-button {
1655
- margin-left : 4 px ;
1662
+ margin-left : var ( --button-left-margin ) ;
1656
1663
display : flex;
1657
1664
}
1658
1665
# sidebar-button {
@@ -1683,7 +1690,7 @@ a.tooltip:hover::after {
1683
1690
justify-content : center;
1684
1691
background-color : var (--button-background-color );
1685
1692
border : 1px solid var (--border-color );
1686
- border-radius : 2 px ;
1693
+ border-radius : var ( --button-border-radius ) ;
1687
1694
color : var (--settings-button-color );
1688
1695
/* Rare exception to specifying font sizes in rem. Since this is acting
1689
1696
as an icon, it's okay to specify their sizes in pixels. */
0 commit comments