$html-editor-border-color: dynamic(#737b8c);