Choose the export format from the list below:
Filter
Export as Open Document Text (ODT) format using the Office Server
Export as Rich Text Format (RTF) using the Office Server
Export as HyperText Markup Language (HTML)
background-color: $theme.panelBackgroundColor; border-bottom: 1px solid $theme.borderColor; color: $theme.textColor;
How about:
(mostly for semantics)
How about:
color: $theme.panelHeaderTextColor;
(mostly for semantics)