I'm using the Obsidianite theme but wanted to change the fonts. Sadly that introduced a visual bug with the bullets.
For one the bullet was halved. And the not-focused lines would also be moved a bit to the right, making vertical movements slightly more annoying.
I understand that you don't necessarily support different fonts, so feel free to close this issue again.
However, since I fixed it in a quick CSS snippet, I figured that it might be useful to some people:
All of the !important styles only overwrite some of the Obsidianite CSS, so if it was integrated into the theme, you would just remove the lines that originally change those properties.
Essentially, instead of adding a dot after the text and then moving it a fixed amount to the left, I just added the dot at the start of the line on top and just made the normal text invisible.
That way it should be compatible with any font.
For reference:
With out the fix:
With the fix:
It also works with the default fonts:
I'm using the Obsidianite theme but wanted to change the fonts. Sadly that introduced a visual bug with the bullets. For one the bullet was halved. And the not-focused lines would also be moved a bit to the right, making vertical movements slightly more annoying.
I understand that you don't necessarily support different fonts, so feel free to close this issue again. However, since I fixed it in a quick CSS snippet, I figured that it might be useful to some people:
All of the
!important
styles only overwrite some of the Obsidianite CSS, so if it was integrated into the theme, you would just remove the lines that originally change those properties. Essentially, instead of adding a dot after the text and then moving it a fixed amount to the left, I just added the dot at the start of the line on top and just made the normal text invisible. That way it should be compatible with any font.For reference: With out the fix: With the fix: It also works with the default fonts: