about summary refs log tree commit diff
diff options
context:
space:
mode:
authorManish Goregaokar <manishsmail@gmail.com>2020-07-22 09:29:17 -0700
committerGitHub <noreply@github.com>2020-07-22 09:29:17 -0700
commit05a24661a33555c4cd46cee5ef304f1f55f5186b (patch)
tree2d3854674532fa3fcc201ba6d1dea0c8c68ef1f2
parent3de0de1dedeed9c11dc419b0c3f9ad03a9c815b4 (diff)
parent96225b15e5480dae3c7e0f3df044553502c82d66 (diff)
downloadrust-05a24661a33555c4cd46cee5ef304f1f55f5186b.tar.gz
rust-05a24661a33555c4cd46cee5ef304f1f55f5186b.zip
Rollup merge of #74635 - GuillaumeGomez:fix-tooltip-pos, r=Manishearth
Fix tooltip position if the documentation starts with a code block

Fixes #74321.

Before:

![before](https://user-images.githubusercontent.com/3050060/88188970-cf842400-cc38-11ea-839b-37e41656837d.png)

After:

![after](https://user-images.githubusercontent.com/3050060/88188981-d3b04180-cc38-11ea-8194-713ffe640d3a.png)

And in case there is text, it is not being applied:

![after-witness](https://user-images.githubusercontent.com/3050060/88189009-ddd24000-cc38-11ea-9f0a-61dfd0a0cbd0.png)

And on mobile it isn't needed so it's not "activated":

![Screenshot from 2020-07-22 17-17-43](https://user-images.githubusercontent.com/3050060/88194698-65bb4880-cc3f-11ea-8513-0043ccca8cfc.png)

r? @rust-lang/rustdoc
-rw-r--r--src/librustdoc/html/static/rustdoc.css10
1 files changed, 10 insertions, 0 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css
index 850a4b3cbc2..d0312d77a7c 100644
--- a/src/librustdoc/html/static/rustdoc.css
+++ b/src/librustdoc/html/static/rustdoc.css
@@ -1291,6 +1291,16 @@ h4 > .important-traits {
 
 /* Media Queries */
 
+@media (min-width: 701px) {
+	/* In case there is no documentation before a code block, we need to add some margin at the top
+	to prevent an overlay between the "collapse toggle" and the information tooltip.
+	However, it's needed needed with smaller screen width because the doc/code block is always put
+	"one line" below. */
+	.information:first-child > .tooltip {
+		margin-top: 16px;
+	}
+}
+
 @media (max-width: 700px) {
 	body {
 		padding-top: 0px;