Re: Add XSL stylesheet to fix up SVG files

2019-06-21 Thread Jonathan S. Katz
On 6/20/19 4:32 AM, Peter Eisentraut wrote: > On 2019-06-11 13:19, Peter Eisentraut wrote: >> Commit 29046c44f36099f4c979b1491fcf27db2f9184f9 manually edited the SVG >> file generated by Ditaa, which was kind of what we wanted to avoid >> having to do. Here is an automated way to take care of the

Re: Add XSL stylesheet to fix up SVG files

2019-06-19 Thread Peter Eisentraut
On 2019-06-11 13:19, Peter Eisentraut wrote: > Commit 29046c44f36099f4c979b1491fcf27db2f9184f9 manually edited the SVG > file generated by Ditaa, which was kind of what we wanted to avoid > having to do. Here is an automated way to take care of the same thing, > by using an XSLT stylesheet. This

Add XSL stylesheet to fix up SVG files

2019-06-11 Thread Peter Eisentraut
ject: [PATCH] Add XSL stylesheet to fix up SVG files The SVG output produced by external tools needs some postprocessing. This is implemented by this new XSL stylesheet. Issues are: - SVG produced by Ditaa does not add a viewBox attribute to the svg element, needed to make the image scalable. -