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

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

..

css

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

img

…

js

…

php

…

schema

remove color from style.css (default) but add a little padding; add color & border radius to dark.css.

2018-12-18 17:54:39 +01:00

tpl

…