Add New Margin Options to DecorationRenderOptions

[Mochnant]

It would be useful to have an option to modify margins (CSS margin, margin-top, etc) in DecorationRenderOptions (https://code.visualstudio.com/api/references/vscode-api#DecorationRenderOptions).

This would likely be useful in many places, but is being specifically driven by a request to the extension Todo Tree (Gruntfuggly/todo-tree#290).

[vscodebot]

This feature request is now a candidate for our backlog. The community has 60 days to upvote the issue. If it receives 20 upvotes we will move it to our backlog. If not, we will close it. To learn more about how we handle feature requests, please see our documentation.

Happy Coding!

[piersdeseilligny]

This would also be extremely useful for my betterfountain extension, as it would allow a more WYSIWYG type of behaviour. I can also see it being useful for other extensions which provide support for markup-type languages.