@@ -1082,10 +1082,6 @@ h3 > .collapse-toggle, h4 > .collapse-toggle {
10821082 font-size : 16px ;
10831083}
10841084
1085- .important-traits : hover .tooltiptext {
1086- display : inline;
1087- }
1088-
10891085.tooltip .tooltiptext ::after {
10901086 content : " " ;
10911087 position : absolute;
@@ -1101,9 +1097,46 @@ h3 > .collapse-toggle, h4 > .collapse-toggle {
11011097 font-size : 20px ;
11021098}
11031099
1104- .important-traits .tooltip .tooltiptext {
1105- border : 1px solid;
1106- font-weight : normal;
1100+ .important-traits-tooltip {
1101+ display : inline-block;
1102+ cursor : pointer;
1103+ }
1104+
1105+ .important-traits : hover .important-traits-tooltiptext ,
1106+ .important-traits .important-traits-tooltiptext .force-tooltip {
1107+ display : inline-block;
1108+ }
1109+
1110+ .important-traits .important-traits-tooltiptext {
1111+ display : none;
1112+ padding : 5px 3px 3px 3px ;
1113+ border-radius : 6px ;
1114+ margin-left : 5px ;
1115+ z-index : 10 ;
1116+ font-size : 16px ;
1117+ cursor : default;
1118+ position : absolute;
1119+ /* Themes will override the color here,
1120+ but it's necessary to make it opaque */
1121+ background-color : # eee ;
1122+ border : 1px solid # 999 ;
1123+ }
1124+
1125+ .important-traits-tooltip ::after {
1126+ /* The margin on the tooltip does not capture hover events,
1127+ this extends the area of hover enough so that mouse hover is not
1128+ lost when moving the mouse to the tooltip */
1129+ content : "\00a0\00a0\00a0" ;
1130+ }
1131+
1132+ .important-traits .important , .important-traits .docblock {
1133+ margin : 0 ;
1134+ }
1135+
1136+ .important-traits .docblock code .content {
1137+ margin : 0 ;
1138+ padding : 0 ;
1139+ font-size : 20px ;
11071140}
11081141
11091142pre .rust {
@@ -1493,69 +1526,12 @@ h4 > .important-traits {
14931526 }
14941527}
14951528
1496- .modal {
1497- position : fixed;
1498- width : 100vw ;
1499- height : 100vh ;
1500- z-index : 10000 ;
1501- top : 0 ;
1502- left : 0 ;
1503- }
1504-
1505- .modal-content {
1506- display : block;
1507- max-width : 60% ;
1508- min-width : 200px ;
1509- padding : 8px ;
1510- top : 40% ;
1511- position : absolute;
1512- left : 50% ;
1513- transform : translate (-50% , -40% );
1514- border : 1px solid;
1515- border-radius : 4px ;
1516- border-top-right-radius : 0 ;
1517- }
1518-
1519- .modal-content > .docblock {
1520- margin : 0 ;
1521- }
1522-
15231529h3 .important {
15241530 margin : 0 ;
15251531 margin-bottom : 13px ;
15261532 font-size : 19px ;
15271533}
15281534
1529- .modal-content > .docblock > code .content {
1530- margin : 0 ;
1531- padding : 0 ;
1532- font-size : 20px ;
1533- }
1534-
1535- .modal-content > .close {
1536- position : absolute;
1537- font-weight : 900 ;
1538- right : -25px ;
1539- top : -1px ;
1540- font-size : 18px ;
1541- width : 25px ;
1542- padding-right : 2px ;
1543- border-top-right-radius : 5px ;
1544- border-bottom-right-radius : 5px ;
1545- text-align : center;
1546- border : 1px solid;
1547- border-right : 0 ;
1548- cursor : pointer;
1549- }
1550-
1551- .modal-content > .whiter {
1552- height : 25px ;
1553- position : absolute;
1554- width : 3px ;
1555- right : -2px ;
1556- top : 0px ;
1557- }
1558-
15591535kbd {
15601536 display : inline-block;
15611537 padding : 3px 5px ;
0 commit comments