border-color > border

2016-09-17 23:30:22 -07:00 · 2016-09-17 23:30:22 -07:00 · ccb78d20cd
commit ccb78d20cd
parent 101d987d29
1 changed files with 1 additions and 1 deletions
--- a/src/librustdoc/html/static/styles/main.css
+++ b/src/librustdoc/html/static/styles/main.css
@ -107,7 +107,7 @@ nav.main .current {
    border-bottom-color: #000;
 }
 nav.main .separator {
-    border-color: 1px solid #000;
+    border: 1px solid #000;
 }
 a {
    color: #000;