odoc
odoc copied to clipboard
Allow giving a size to included images
It is very nice to be able to include images! However, we might want to give them a size, either in pixel, or percentage, or ...
This requires a new syntax, and likely a general way of giving attributes to nodes...