This repository has been archived on 2024-08-19. You can view files and clone it, but cannot push or open issues or pull requests.

Mario Vavti fac3579fb0 revert padding for text highlight. It is messing with indent punctuation and decreases legibility of the highlighted text.		2018-12-22 19:47:46 +01:00
..
redbasic	revert padding for text highlight. It is messing with indent punctuation and decreases legibility of the highlighted text.	2018-12-22 19:47:46 +01:00