Namespace for the decoration data and the styling refinements for the decorated widgets.
A string that could be:
For more details, see: https://developer.mozilla.org/en-US/docs/Web/CSS/color_value.
Note, it is highly recommended to use one of the predefined colors of Theia, so the desired color will
look nice with both the
light and the
dark theme too.
For the sake of simplicity, we have merged the
font-weight, and the