File tree 1 file changed +45
-33
lines changed
src/librustdoc/html/static
1 file changed +45
-33
lines changed Original file line number Diff line number Diff line change @@ -1232,6 +1232,39 @@ h4 > .important-traits {
1232
1232
margin : 5px 0 ;
1233
1233
}
1234
1234
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
+
1235
1268
@media (max-width : 700px ) {
1236
1269
h4 > .important-traits {
1237
1270
position : absolute;
@@ -1307,6 +1340,18 @@ h4 > .important-traits {
1307
1340
# all-types {
1308
1341
margin : 10px ;
1309
1342
}
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
+ }
1310
1355
}
1311
1356
1312
1357
@@ -1516,39 +1561,6 @@ kbd {
1516
1561
margin-bottom : 1em ;
1517
1562
}
1518
1563
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
-
1552
1564
div .children {
1553
1565
padding-left : 27px ;
1554
1566
display : none;
You can’t perform that action at this time.
0 commit comments