PopOS color scheme in gedit impacts font size.

[pracedru]

Distribution (run ``):
NAME="Pop!_OS"
VERSION="19.10"
ID=ubuntu
ID_LIKE=debian
PRETTY_NAME="Pop!_OS 19.10"
VERSION_ID="19.10"
HOME_URL="https://system76.com/pop"
SUPPORT_URL="http://support.system76.com"
BUG_REPORT_URL="https://github.com/pop-os/pop/issues"
PRIVACY_POLICY_URL="https://system76.com/privacy"
VERSION_CODENAME=eoan
UBUNTU_CODENAME=eoan
LOGO=distributor-logo-pop-os

Related Application and/or Package Version (run apt policy $PACKAGE NAME):
gedit:
Installeret: 3.34.0-1
Kandidat: 3.34.0-1
Versionstabel:
*** 3.34.0-1 500
500 http://us.archive.ubuntu.com/ubuntu eoan/main amd64 Packages
100 /var/lib/dpkg/status

Issue/Bug Description:
The PopOS Color scheme changes the font inside header and title tags, when editing html files.

Steps to reproduce (if you know):
Open gedit and write a html file like the one shown above.

Expected behavior:
Texts inside title and header tags will change font size.

Other Notes:
I originally posted this on the gnome gedit bug tracker:
https://gitlab.gnome.org/GNOME/gedit/issues/247

[pracedru]

The answer that Sébastien Wilmet gave might have a clue to what the problem is.

[PanderMusubi]

Also in version 20.04.

[pracedru]

Also in version 20.04.

Yes, i also have this issue in PopOS 20.04.

[rcastellotti]

Still an issue

[gabrc52]

Still on Pop 20.10. This has been for at least 3 releases.

[BasLee]

As a temporary fix, you could comment out the size style rules at the bottom of /usr/share/gtksourceview-4/styles/pop-(light|dark).xml

[PanderMusubi]

Any updates on this? Still an issue on 22.04 LTS.

[fiver22]

I've noticed this happens only if the file has an extension such as htm, html, md. If no extension or saved as .txt, or .sh the rendering/parsing doesn't happen.