this should be `border-color: #800;`. This way the border style and width is determined by the main stylesheet