@@ -998,133 +998,6 @@ span.since {
998998 opacity : 1 ;
999999}
10001000
1001- /* Media Queries */
1002-
1003- @media (max-width : 700px ) {
1004- body {
1005- padding-top : 0px ;
1006- }
1007-
1008- .rustdoc > .sidebar {
1009- height : 45px ;
1010- min-height : 40px ;
1011- margin : 0 ;
1012- margin-left : -15px ;
1013- padding : 0 15px ;
1014- position : static;
1015- z-index : 11 ;
1016- }
1017-
1018- .sidebar > .location {
1019- float : right;
1020- margin : 0px ;
1021- margin-top : 2px ;
1022- padding : 3px 10px 1px 10px ;
1023- min-height : 39px ;
1024- background : inherit;
1025- text-align : left;
1026- font-size : 24px ;
1027- }
1028-
1029- .sidebar .location : empty {
1030- padding : 0 ;
1031- }
1032-
1033- .sidebar img {
1034- width : 35px ;
1035- margin-top : 5px ;
1036- margin-bottom : 5px ;
1037- float : left;
1038- margin-left : 50px ;
1039- }
1040-
1041- .sidebar-menu {
1042- position : fixed;
1043- z-index : 10 ;
1044- font-size : 2rem ;
1045- cursor : pointer;
1046- width : 45px ;
1047- left : 0 ;
1048- text-align : center;
1049- display : block;
1050- border-bottom : 1px solid;
1051- border-right : 1px solid;
1052- height : 45px ;
1053- }
1054-
1055- .sidebar-elems {
1056- position : fixed;
1057- z-index : 1 ;
1058- left : 0 ;
1059- top : 45px ;
1060- bottom : 0 ;
1061- overflow-y : auto;
1062- border-right : 1px solid;
1063- display : none;
1064- }
1065-
1066- .sidebar > .block .version {
1067- border-bottom : none;
1068- margin-top : 12px ;
1069- }
1070-
1071- nav .sub {
1072- width : calc (100% - 32px );
1073- float : right;
1074- }
1075-
1076- .content {
1077- margin-left : 0px ;
1078- }
1079-
1080- # main {
1081- margin-top : 45px ;
1082- padding : 0 ;
1083- }
1084-
1085- .content .in-band {
1086- width : 100% ;
1087- }
1088-
1089- .content h4 > .out-of-band {
1090- position : inherit;
1091- }
1092-
1093- .toggle-wrapper > .collapse-toggle {
1094- left : 0px ;
1095- }
1096-
1097- .toggle-wrapper {
1098- height : 1.5em ;
1099- }
1100-
1101- # search {
1102- margin-left : 0 ;
1103- }
1104-
1105- .content .impl-items .method , .content .impl-items > .type , .impl-items > .associatedconstant {
1106- display : flex;
1107- }
1108-
1109- .anchor {
1110- display : none !important ;
1111- }
1112-
1113- h1 .fqn {
1114- overflow : initial;
1115- }
1116-
1117- # main > .line-numbers {
1118- margin-top : 0 ;
1119- }
1120- }
1121-
1122- @media print {
1123- nav .sub , .content .out-of-band , .collapse-toggle {
1124- display : none;
1125- }
1126- }
1127-
11281001.information {
11291002 position : absolute;
11301003 left : -20px ;
@@ -1265,7 +1138,177 @@ h4 > .important-traits {
12651138 margin-bottom : 6px ;
12661139}
12671140
1141+ .theme-picker {
1142+ position : absolute;
1143+ left : 211px ;
1144+ top : 19px ;
1145+ }
1146+
1147+ .theme-picker button {
1148+ outline : none;
1149+ }
1150+
1151+ # settings-menu {
1152+ position : absolute;
1153+ right : 0 ;
1154+ top : 10px ;
1155+ outline : none;
1156+ }
1157+
1158+ # theme-picker , # settings-menu {
1159+ padding : 4px ;
1160+ width : 27px ;
1161+ height : 29px ;
1162+ border : 1px solid;
1163+ border-radius : 3px ;
1164+ cursor : pointer;
1165+ }
1166+
1167+ # theme-choices {
1168+ display : none;
1169+ position : absolute;
1170+ left : 0 ;
1171+ top : 28px ;
1172+ border : 1px solid;
1173+ border-radius : 3px ;
1174+ z-index : 1 ;
1175+ cursor : pointer;
1176+ }
1177+
1178+ # theme-choices > button {
1179+ border : none;
1180+ width : 100% ;
1181+ padding : 4px ;
1182+ text-align : center;
1183+ background : rgba (0 , 0 , 0 , 0 );
1184+ }
1185+
1186+ # theme-choices > button : not (: first-child ) {
1187+ border-top : 1px solid;
1188+ }
1189+
1190+ /* Media Queries */
1191+
12681192@media (max-width : 700px ) {
1193+ body {
1194+ padding-top : 0px ;
1195+ }
1196+
1197+ .rustdoc > .sidebar {
1198+ height : 45px ;
1199+ min-height : 40px ;
1200+ margin : 0 ;
1201+ margin-left : -15px ;
1202+ padding : 0 15px ;
1203+ position : static;
1204+ z-index : 11 ;
1205+ }
1206+
1207+ .sidebar > .location {
1208+ float : right;
1209+ margin : 0px ;
1210+ margin-top : 2px ;
1211+ padding : 3px 10px 1px 10px ;
1212+ min-height : 39px ;
1213+ background : inherit;
1214+ text-align : left;
1215+ font-size : 24px ;
1216+ }
1217+
1218+ .sidebar .location : empty {
1219+ padding : 0 ;
1220+ }
1221+
1222+ .sidebar img {
1223+ width : 35px ;
1224+ margin-top : 5px ;
1225+ margin-bottom : 5px ;
1226+ float : left;
1227+ margin-left : 50px ;
1228+ }
1229+
1230+ .sidebar-menu {
1231+ position : fixed;
1232+ z-index : 10 ;
1233+ font-size : 2rem ;
1234+ cursor : pointer;
1235+ width : 45px ;
1236+ left : 0 ;
1237+ text-align : center;
1238+ display : block;
1239+ border-bottom : 1px solid;
1240+ border-right : 1px solid;
1241+ height : 45px ;
1242+ }
1243+
1244+ .sidebar-elems {
1245+ position : fixed;
1246+ z-index : 1 ;
1247+ left : 0 ;
1248+ top : 45px ;
1249+ bottom : 0 ;
1250+ overflow-y : auto;
1251+ border-right : 1px solid;
1252+ display : none;
1253+ }
1254+
1255+ .sidebar > .block .version {
1256+ border-bottom : none;
1257+ margin-top : 12px ;
1258+ }
1259+
1260+ nav .sub {
1261+ width : calc (100% - 32px );
1262+ float : right;
1263+ }
1264+
1265+ .content {
1266+ margin-left : 0px ;
1267+ }
1268+
1269+ # main {
1270+ margin-top : 45px ;
1271+ padding : 0 ;
1272+ }
1273+
1274+ .content .in-band {
1275+ width : 100% ;
1276+ }
1277+
1278+ .content h4 > .out-of-band {
1279+ position : inherit;
1280+ }
1281+
1282+ .toggle-wrapper > .collapse-toggle {
1283+ left : 0px ;
1284+ }
1285+
1286+ .toggle-wrapper {
1287+ height : 1.5em ;
1288+ }
1289+
1290+ # search {
1291+ margin-left : 0 ;
1292+ }
1293+
1294+ .content .impl-items .method , .content .impl-items > .type , .impl-items > .associatedconstant {
1295+ display : flex;
1296+ }
1297+
1298+ .anchor {
1299+ display : none !important ;
1300+ }
1301+
1302+ h1 .fqn {
1303+ overflow : initial;
1304+ }
1305+
1306+ .theme-picker {
1307+ left : 10px ;
1308+ top : 54px ;
1309+ z-index : 1 ;
1310+ }
1311+
12691312 h4 > .important-traits {
12701313 position : absolute;
12711314 left : -22px ;
@@ -1352,8 +1395,17 @@ h4 > .important-traits {
13521395 # source-sidebar {
13531396 z-index : 11 ;
13541397 }
1398+
1399+ # main > .line-numbers {
1400+ margin-top : 0 ;
1401+ }
13551402}
13561403
1404+ @media print {
1405+ nav .sub , .content .out-of-band , .collapse-toggle {
1406+ display : none;
1407+ }
1408+ }
13571409
13581410@media (max-width : 416px ) {
13591411 # titles {
@@ -1453,63 +1505,6 @@ kbd {
14531505 cursor : default;
14541506}
14551507
1456- .theme-picker {
1457- position : absolute;
1458- left : 211px ;
1459- top : 19px ;
1460- }
1461-
1462- .theme-picker button {
1463- outline : none;
1464- }
1465-
1466- # settings-menu {
1467- position : absolute;
1468- right : 0 ;
1469- top : 10px ;
1470- outline : none;
1471- }
1472-
1473- # theme-picker , # settings-menu {
1474- padding : 4px ;
1475- width : 27px ;
1476- height : 29px ;
1477- border : 1px solid;
1478- border-radius : 3px ;
1479- cursor : pointer;
1480- }
1481-
1482- # theme-choices {
1483- display : none;
1484- position : absolute;
1485- left : 0 ;
1486- top : 28px ;
1487- border : 1px solid;
1488- border-radius : 3px ;
1489- z-index : 1 ;
1490- cursor : pointer;
1491- }
1492-
1493- # theme-choices > button {
1494- border : none;
1495- width : 100% ;
1496- padding : 4px ;
1497- text-align : center;
1498- background : rgba (0 , 0 , 0 , 0 );
1499- }
1500-
1501- # theme-choices > button : not (: first-child ) {
1502- border-top : 1px solid;
1503- }
1504-
1505- @media (max-width : 700px ) {
1506- .theme-picker {
1507- left : 10px ;
1508- top : 54px ;
1509- z-index : 1 ;
1510- }
1511- }
1512-
15131508.hidden-by-impl-hider ,
15141509.hidden-by-usual-hider {
15151510 /* important because of conflicting rule for small screens */
0 commit comments