Skip to content

Commit f445807

Browse files
authored
Fix: padding top in mobile version (#17019)
In this PR, I reduce the size of the padding top in the mobile version Before: <img width="378" alt="Screenshot 2023-02-27 at 15 47 05" src="https://user-images.githubusercontent.com/44496264/221817542-41634639-269b-4fd2-a9f9-f04dcb7c3421.png"> After: <img width="378" alt="Screenshot 2023-02-27 at 15 47 49" src="https://user-images.githubusercontent.com/44496264/221595384-0a8a7c3e-6f21-42bc-8506-96cffbe4aad6.png"> Closes #16833
2 parents 416b3c2 + 0d66347 commit f445807

File tree

1 file changed

+1
-0
lines changed
  • scaladoc/resources/dotty_res/styles/theme/layout

1 file changed

+1
-0
lines changed

scaladoc/resources/dotty_res/styles/theme/layout/content.css

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -91,6 +91,7 @@
9191
@media (max-width: 768px) {
9292

9393
#content {
94+
padding-top: calc(10 * var(--base-spacing));
9495
padding-bottom: calc(6 * var(--base-spacing));
9596
}
9697

0 commit comments

Comments
 (0)