File tree Expand file tree Collapse file tree 1 file changed +45
-33
lines changed
src/librustdoc/html/static Expand file tree Collapse file tree 1 file changed +45
-33
lines changed Original file line number Diff line number Diff line change @@ -1232,6 +1232,39 @@ h4 > .important-traits {
12321232 margin : 5px 0 ;
12331233}
12341234
1235+ # sidebar-toggle {
1236+ position : fixed;
1237+ top : 30px ;
1238+ left : 300px ;
1239+ z-index : 10 ;
1240+ padding : 3px ;
1241+ border-top-right-radius : 3px ;
1242+ border-bottom-right-radius : 3px ;
1243+ cursor : pointer;
1244+ font-weight : bold;
1245+ transition : left .5s ;
1246+ font-size : 1.2em ;
1247+ border : 1px solid;
1248+ border-left : 0 ;
1249+ }
1250+ # source-sidebar {
1251+ position : fixed;
1252+ top : 0 ;
1253+ bottom : 0 ;
1254+ left : 0 ;
1255+ width : 300px ;
1256+ z-index : 1 ;
1257+ overflow : auto;
1258+ transition : left .5s ;
1259+ border-right : 1px solid;
1260+ }
1261+ # source-sidebar > .title {
1262+ font-size : 1.5em ;
1263+ text-align : center;
1264+ border-bottom : 1px solid;
1265+ margin-bottom : 6px ;
1266+ }
1267+
12351268@media (max-width : 700px ) {
12361269 h4 > .important-traits {
12371270 position : absolute;
@@ -1307,6 +1340,18 @@ h4 > .important-traits {
13071340 # all-types {
13081341 margin : 10px ;
13091342 }
1343+
1344+ # sidebar-toggle {
1345+ top : 100px ;
1346+ width : 30px ;
1347+ font-size : 1.5rem ;
1348+ text-align : center;
1349+ padding : 0 ;
1350+ }
1351+
1352+ # source-sidebar {
1353+ z-index : 11 ;
1354+ }
13101355}
13111356
13121357
@@ -1516,39 +1561,6 @@ kbd {
15161561 margin-bottom : 1em ;
15171562}
15181563
1519- # sidebar-toggle {
1520- position : fixed;
1521- top : 30px ;
1522- left : 300px ;
1523- z-index : 10 ;
1524- padding : 3px ;
1525- border-top-right-radius : 3px ;
1526- border-bottom-right-radius : 3px ;
1527- cursor : pointer;
1528- font-weight : bold;
1529- transition : left .5s ;
1530- font-size : 1.2em ;
1531- border : 1px solid;
1532- border-left : 0 ;
1533- }
1534- # source-sidebar {
1535- position : fixed;
1536- top : 0 ;
1537- bottom : 0 ;
1538- left : 0 ;
1539- width : 300px ;
1540- z-index : 1 ;
1541- overflow : auto;
1542- transition : left .5s ;
1543- border-right : 1px solid;
1544- }
1545- # source-sidebar > .title {
1546- font-size : 1.5em ;
1547- text-align : center;
1548- border-bottom : 1px solid;
1549- margin-bottom : 6px ;
1550- }
1551-
15521564div .children {
15531565 padding-left : 27px ;
15541566 display : none;
You can’t perform that action at this time.
0 commit comments