Rollup merge of #74555 - GuillaumeGomez:important-traits-popup, r=Manishearth

Improve "important traits" popup display on mobile

I implemented what @XAMPPRocky suggested in the [internals thread topic](https://internals.rust-lang.org/t/feedback-on-important-traits-rustdoc-feature/12752/18). I can confirm it works nicely.

r? @Manishearth

@Manishearth: By the way: I realized that when you click on the "i", you have to click again to make the popup disappear. Do you want me to extend the popup removal to any click outside the popup?
This commit is contained in:
Manish Goregaokar 2020-07-20 12:30:31 -07:00 committed by GitHub
commit 963b837a83
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1511,6 +1511,11 @@ h4 > .important-traits {
#main > .line-numbers {
margin-top: 0;
}
.important-traits .important-traits-tooltiptext {
left: 0;
top: 100%;
}
}
@media print {