@@ -34,6 +34,8 @@ xmlns="http://www.w3.org/2000/svg" fill="black" height="18px">\
3434</ g></svg>');
3535 --button-left-margin : 4px ;
3636 --button-border-radius : 2px ;
37+ --toolbar-button-border-radius : 6px ;
38+ --code-block-border-radius : 6px ;
3739}
3840
3941/* See FiraSans-LICENSE.txt for the Fira Sans license. */
@@ -183,7 +185,7 @@ h1, h2, h3, h4 {
183185 grid-template-columns : 1fr max-content;
184186 grid-template-rows : 25px min-content min-content;
185187 padding-bottom : 6px ;
186- margin-bottom : 15 px ;
188+ margin-bottom : 11 px ;
187189}
188190.rustdoc-breadcrumbs {
189191 grid-area : main-heading-breadcrumbs;
@@ -904,6 +906,7 @@ both the code example and the line numbers, so we need to remove the radius in t
904906 flex-grow : 0 ;
905907 grid-area : main-heading-sub-heading;
906908 line-height : 1.25 ;
909+ padding-bottom : 4px ;
907910}
908911
909912.main-heading rustdoc-toolbar , .main-heading .out-of-band {
@@ -918,6 +921,7 @@ rustdoc-toolbar {
918921.docblock code , .docblock-short code ,
919922pre , .rustdoc .src .example-wrap {
920923 background-color : var (--code-block-background-color );
924+ border-radius : var (--code-block-border-radius );
921925}
922926
923927# main-content {
@@ -1315,14 +1319,14 @@ so that we can apply CSS-filters to change the arrow color in themes */
13151319
13161320# settings .popover {
13171321 --popover-arrow-offset : 202px ;
1318- top : calc (100% - 12 px );
1322+ top : calc (100% - 16 px );
13191323}
13201324
13211325/* use larger max-width for help popover, but not for help.html */
13221326# help .popover {
13231327 max-width : 600px ;
13241328 --popover-arrow-offset : 118px ;
1325- top : calc (100% - 12 px );
1329+ top : calc (100% - 16 px );
13261330}
13271331
13281332# help dt {
@@ -1838,6 +1842,7 @@ a.tooltip:hover::after {
18381842}
18391843# settings-menu > a , # help-button > a , button # toggle-all-docs {
18401844 width : 80px ;
1845+ border-radius : var (--toolbar-button-border-radius );
18411846}
18421847# sidebar-button > a {
18431848 background-color : var (--button-background-color );
@@ -1924,6 +1929,7 @@ button[disabled]#toggle-all-docs:hover {
19241929rustdoc-toolbar span .label {
19251930 font-size : 1rem ;
19261931 flex-grow : 1 ;
1932+ padding-bottom : 4px ;
19271933}
19281934
19291935# sidebar-button > a : before {
0 commit comments