User:GR/vector.css

.wikiEditor-ui .wikiEditor-ui-top {border-bottom: 10px solid red;}