github: Fix border colors

.border-{bottom,top}
.user-profile-sticky-bar:after

css/solarized-all-sites-dark.css

@@ -234,6 +234,10 @@ button.ajax-pagination-btn:hover {
   color: #859900 !important;
   font-weight: bold !important;
 }
+.border-bottom,
+.border-top {
+  border-color: #073642 !important;
+}
 .boxed-group * {
   border-color: #586e75 !important;
 }
@@ -692,6 +696,7 @@ a.label {
 }
 .user-profile-sticky-bar:after {
   background-color: #073642 !important;
+  border-color: #657b83 !important;
 }
 .graphs .area {
   fill: #859900;

css/solarized-all-sites-light.css

@@ -234,6 +234,10 @@ button.ajax-pagination-btn:hover {
   color: #859900 !important;
   font-weight: bold !important;
 }
+.border-bottom,
+.border-top {
+  border-color: #eee8d5 !important;
+}
 .boxed-group * {
   border-color: #93a1a1 !important;
 }
@@ -692,6 +696,7 @@ a.label {
 }
 .user-profile-sticky-bar:after {
   background-color: #eee8d5 !important;
+  border-color: #839496 !important;
 }
 .graphs .area {
   fill: #859900;

css/solarized-github-dark.css

@@ -227,6 +227,10 @@ button.ajax-pagination-btn:hover {
   color: #859900 !important;
   font-weight: bold !important;
 }
+.border-bottom,
+.border-top {
+  border-color: #073642 !important;
+}
 .boxed-group * {
   border-color: #586e75 !important;
 }
@@ -685,6 +689,7 @@ a.label {
 }
 .user-profile-sticky-bar:after {
   background-color: #073642 !important;
+  border-color: #657b83 !important;
 }
 .graphs .area {
   fill: #859900;

css/solarized-github-light.css

@@ -227,6 +227,10 @@ button.ajax-pagination-btn:hover {
   color: #859900 !important;
   font-weight: bold !important;
 }
+.border-bottom,
+.border-top {
+  border-color: #eee8d5 !important;
+}
 .boxed-group * {
   border-color: #93a1a1 !important;
 }
@@ -685,6 +689,7 @@ a.label {
 }
 .user-profile-sticky-bar:after {
   background-color: #eee8d5 !important;
+  border-color: #839496 !important;
 }
 .graphs .area {
   fill: #859900;

sites/github.styl

@@ -204,6 +204,12 @@ button.ajax-pagination-btn
     color green
     bold()
 
+// ** .border-*
+
+.border-bottom
+.border-top
+    border-color color-background-highlight
+
 // ** boxed-group
 .boxed-group
     *
@@ -703,6 +709,7 @@ a.label
 .user-profile-sticky-bar
     &:after
         background-color highlight
+        border-color()
 
 // ** viz / graphs