2 Commits (bc24251461074198b639312191572a043146dabf)

Author	SHA1	Message	Date
Gonçalo Silva	ddcf76df47	Set text view padding in Python instead of CSS ... Otherwise scrolling calculations will be slightly offset, as the CSS padding is added *on top* of any other margin.	2019-04-21 01:50:49 +01:00
Gonçalo Silva	81f9104d9f	Split gtk and web CSS into separate directories ... Helps clean up the CSS selection on the export dialog, as only Web CSS is useful in that scenario.	2019-04-21 01:50:49 +01:00