Improve display of logo on very small screens

GuillaumeGomez · GuillaumeGomez · commit 906bdd3bdb54 · 2023-04-05T17:13:28.000+02:00
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css
@@ -6,6 +6,10 @@
 	3. Copy the filenames with updated suffixes from the directory.
 */
 
+:root {
+	--nav-sub-mobile-padding: 8px;
+}
+
 /* See FiraSans-LICENSE.txt for the Fira Sans license. */
 @font-face {
 	font-family: 'Fira Sans';
@@ -1726,7 +1730,7 @@ in main.js
 
 	.source nav.sub {
 		margin: 0;
-		padding: 8px;
+		padding: var(--nav-sub-mobile-padding);
 	}
 }
 
@@ -1783,6 +1787,7 @@ in main.js
 	.sub-logo-container > img {
 		height: 35px;
 		width: 35px;
+		margin-bottom: var(--nav-sub-mobile-padding);
 	}
 }
 

Original file line number	Diff line number	Diff line change
`@@ -6,6 +6,10 @@`
`6`	`6`	`3. Copy the filenames with updated suffixes from the directory.`
`7`	`7`	`*/`
`8`	`8`
	`9`	`+:root {`
	`10`	`+ --nav-sub-mobile-padding: 8px;`
	`11`	`+}`
	`12`	`+`
`9`	`13`	`/* See FiraSans-LICENSE.txt for the Fira Sans license. */`
`10`	`14`	`@font-face {`
`11`	`15`	`font-family: 'Fira Sans';`
`@@ -1726,7 +1730,7 @@ in main.js`
`1726`	`1730`
`1727`	`1731`	`.source nav.sub {`
`1728`	`1732`	`margin: 0;`
`1729`		`- padding: 8px;`
	`1733`	`+ padding: var(--nav-sub-mobile-padding);`
`1730`	`1734`	`}`
`1731`	`1735`	`}`
`1732`	`1736`
`@@ -1783,6 +1787,7 @@ in main.js`
`1783`	`1787`	`.sub-logo-container > img {`
`1784`	`1788`	`height: 35px;`
`1785`	`1789`	`width: 35px;`
	`1790`	`+ margin-bottom: var(--nav-sub-mobile-padding);`
`1786`	`1791`	`}`
`1787`	`1792`	`}`
`1788`	`1793`