use generic colour name @borders
As the colour name @borders changes between normal and high contrast mode, it is not a good idea to hard-code it to its value in normal mode.
As the colour name @borders changes between normal and high contrast mode, it is not a good idea to hard-code it to its value in normal mode.