How to Change Top Panel Font Size

[jkemp814]

Hello Everyone,

How do I change the top panel font size? On a HiDPI monitor, the fonts are way too small. I have found all the posts stating to use

stage {
    font-family: SF Pro Display Medium;
    font-size: 16px;
}

But that does not change anything.

If I create my on theme and import this theme, it works, but breaks a lot of pop-up windows.

@import url("resource:///org/gnome/theme/gnome-shell.css");
stage {
    font-family: SF Pro Display Medium;
    font-size: 16px;
}

It would be nice to have a section already built into the theme, so it could be edited.

[jkemp814]

It seems the theme needs to be optimized for HiDPI monitors. Even the headers in Nautilus are way too small. Same thing with the menus in the top bar. How would I add support for changing the font-size for top panel? Why do you think the code snippets above do not work when placed inside the theme gnome-shell.css?