jorisvandenbossche commented on code in PR #38148:
URL: https://github.com/apache/arrow/pull/38148#discussion_r1350028097
##########
docs/source/_static/theme_overrides.css:
##########
@@ -21,12 +21,18 @@
/* Customizing with theme CSS variables */
:root {
- /* Change header hight to make the logo a bit larger */
- --pst-header-height: 6rem;
/* Make headings more bold */
--pst-font-weight-heading: 600;
}
+/* Change header hight to make the logo a bit larger */
+/* only on wider screens */
+@media only screen and (min-width: 950px){
Review Comment:
Or this is only for the "mobile" layout? (where there is no header at all
anymore, except for the logo and expand buttons)
I indeed suggested on the issue to do this in this case, but, we can maybe
also already do it when you are on a normal but small screen, i.e. for the
cases where all the header navbar items are visible, but start to wrap around
because there is not enough space, like:
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
