// This is used by charts and should be modified by derived themes.
$button-border-radius: dynamic(2px);