@@ -1078,10 +1078,6 @@ h3 > .collapse-toggle, h4 > .collapse-toggle {
10781078 font-size : 16px ;
10791079}
10801080
1081- .important-traits : hover .tooltiptext {
1082- display : inline;
1083- }
1084-
10851081.tooltip .tooltiptext ::after {
10861082 content : " " ;
10871083 position : absolute;
@@ -1097,9 +1093,46 @@ h3 > .collapse-toggle, h4 > .collapse-toggle {
10971093 font-size : 20px ;
10981094}
10991095
1100- .important-traits .tooltip .tooltiptext {
1101- border : 1px solid;
1102- font-weight : normal;
1096+ .important-traits-tooltip {
1097+ display : inline-block;
1098+ cursor : pointer;
1099+ }
1100+
1101+ .important-traits : hover .important-traits-tooltiptext ,
1102+ .important-traits .important-traits-tooltiptext .force-tooltip {
1103+ display : inline-block;
1104+ }
1105+
1106+ .important-traits .important-traits-tooltiptext {
1107+ display : none;
1108+ padding : 5px 3px 3px 3px ;
1109+ border-radius : 6px ;
1110+ margin-left : 5px ;
1111+ z-index : 10 ;
1112+ font-size : 16px ;
1113+ cursor : default;
1114+ position : absolute;
1115+ /* Themes will override the color here,
1116+ but it's necessary to make it opaque */
1117+ background-color : # eee ;
1118+ border : 1px solid # 999 ;
1119+ }
1120+
1121+ .important-traits-tooltip ::after {
1122+ /* The margin on the tooltip does not capture hover events,
1123+ this extends the area of hover enough so that mouse hover is not
1124+ lost when moving the mouse to the tooltip */
1125+ content : "\00a0\00a0\00a0" ;
1126+ }
1127+
1128+ .important-traits .important , .important-traits .docblock {
1129+ margin : 0 ;
1130+ }
1131+
1132+ .important-traits .docblock code .content {
1133+ margin : 0 ;
1134+ padding : 0 ;
1135+ font-size : 20px ;
11031136}
11041137
11051138pre .rust {
@@ -1489,69 +1522,12 @@ h4 > .important-traits {
14891522 }
14901523}
14911524
1492- .modal {
1493- position : fixed;
1494- width : 100vw ;
1495- height : 100vh ;
1496- z-index : 10000 ;
1497- top : 0 ;
1498- left : 0 ;
1499- }
1500-
1501- .modal-content {
1502- display : block;
1503- max-width : 60% ;
1504- min-width : 200px ;
1505- padding : 8px ;
1506- top : 40% ;
1507- position : absolute;
1508- left : 50% ;
1509- transform : translate (-50% , -40% );
1510- border : 1px solid;
1511- border-radius : 4px ;
1512- border-top-right-radius : 0 ;
1513- }
1514-
1515- .modal-content > .docblock {
1516- margin : 0 ;
1517- }
1518-
15191525h3 .important {
15201526 margin : 0 ;
15211527 margin-bottom : 13px ;
15221528 font-size : 19px ;
15231529}
15241530
1525- .modal-content > .docblock > code .content {
1526- margin : 0 ;
1527- padding : 0 ;
1528- font-size : 20px ;
1529- }
1530-
1531- .modal-content > .close {
1532- position : absolute;
1533- font-weight : 900 ;
1534- right : -25px ;
1535- top : -1px ;
1536- font-size : 18px ;
1537- width : 25px ;
1538- padding-right : 2px ;
1539- border-top-right-radius : 5px ;
1540- border-bottom-right-radius : 5px ;
1541- text-align : center;
1542- border : 1px solid;
1543- border-right : 0 ;
1544- cursor : pointer;
1545- }
1546-
1547- .modal-content > .whiter {
1548- height : 25px ;
1549- position : absolute;
1550- width : 3px ;
1551- right : -2px ;
1552- top : 0px ;
1553- }
1554-
15551531kbd {
15561532 display : inline-block;
15571533 padding : 3px 5px ;
0 commit comments