Change the border color in edit mode.

Apply border color specification.

src/client/styles/scss/_layout.scss

@@ -16,7 +16,7 @@ body {
 
 .grw-modal-head {
   font-size: 1em;
-  border-bottom: 1px solid yellow;
+  border-bottom: 1px solid $border-color;
 }
 
 // padding settings for GrowiNavbarBottom

src/client/styles/scss/_override-bootstrap-variables.scss

@@ -56,7 +56,7 @@ $btn-link-disabled-color: $gray-500;
 
 //== Forms
 //
-$input-border-color: border-color;
+$input-border-color: $border-color;
 
 $input-border-radius: $border-radius-sm;
 $input-border-radius-sm: $border-radius-sm;
@@ -64,7 +64,7 @@ $input-border-radius-lg: $border-radius;
 
 $input-placeholder-color: $gray-500;
 
-$custom-control-indicator-border-color: border-color;
+$custom-control-indicator-border-color: $border-color;
 $custom-control-label-disabled-color: $gray-500;
 $custom-select-disabled-color: $gray-500;
 $custom-range-thumb-disabled-bg: $gray-400;

src/client/styles/scss/theme/_apply-colors-light.scss

@@ -50,7 +50,7 @@ $table-hover-bg: $bgcolor-table-hover;
  */
 .card.card-disabled {
   background-color: darken($bgcolor-card, 5%);
-  border-color: $gray-200;
+  border-color: $border-color;
 }
 
 /*
@@ -282,11 +282,15 @@ $table-hover-bg: $bgcolor-table-hover;
   }
 }
 
-.top-of-table-contents {
-  border-color: $border-color;
-
-  .grw-seen-user-list {
+.revision-toc {
+  .top-of-table-contents {
     border-color: $border-color;
+
+    .grw-seen-user-list {
+      &:before {
+        border-color: $border-color;
+      }
+    }
   }
 }
 

src/client/styles/scss/theme/_apply-colors.scss

@@ -396,11 +396,11 @@ body.on-edit {
     background-color: darken($bgcolor-global, 2%);
 
     .page-editor-editor-container {
-      border-right-color: $border-color-theme;
+      border-right-color: $border-color;
 
       .navbar-editor {
         background-color: $bgcolor-global; // same color with active tab
-        border-bottom-color: $border-color-theme;
+        border-bottom-color: $border-color;
       }
     }
 
@@ -409,7 +409,7 @@ body.on-edit {
     }
 
     .page-editor-footer {
-      border-top-color: $border-color-theme;
+      border-top-color: $border-color;
     }
   }