Border
 Colour of the menu border
──────────────────────────────────────────────────────────────────────────────

 This is the colour used to draw the lines that make up the border of a
 pull-down menu.