.ace_editor {
  border: var(--BorderWidth) solid var(--BorderColor);
  border-radius: var(--BorderRadius);
}