JWA74

Results 2 comments of JWA74

> Generally the SVGs exported by draw.io are meant for web embedding, there are some workaround that can be done. But it has been a while since I touched this...

Works fine, I also added some if-builder statements that allows me to generate svg files for HTML documentation and png files for PDF documents from the same source.