Color_commentbg,
/// Label color for greyedout insets
Color_greyedoutlabel,
+ /// Color for greyedout inset text
+ Color_greyedouttext,
/// Background color of greyedout inset
Color_greyedoutbg,
/// Background color of shaded box
Color_buttonhoverbg,
/// Color used for the pilcrow sign to mark the end of a paragraph
Color_paragraphmarker,
+ /// Preview frame color
+ Color_previewframe,
// Logical attributes