If you open for e.g. https://fedoraproject.org/wiki/Cuda at a hiDPI display in Chrome/Vivaldi you got this: https://imgur.com/a/kYyDO
Current style:
pre{ font-size: 2.6ex }
My suggestion:
pre{ font-size: 1.2rem }
This would work in all my browsers (FF, Chrome, Vivaldi)
Not part of the issue, but maybe something which should also be fixed: https://imgur.com/a/wqk2j
We just upgraded our wiki and also our theme... and I think this issue is fixed. At least I can no longer duplicate it.
If you are seeing the issue still, or have other suggestions for the theme, can you file them at:
https://pagure.io/fedora-mediawikitheme
Thats the current active theme for the site and you can file issues and submit PR's there.
Thanks!
Metadata Update from @kevin: - Issue close_status updated to: Fixed - Issue status updated to: Closed (was: Open)
@kevin Much better now! Thank you :smile:
Login to comment on this ticket.