|
@@ -51,6 +51,7 @@ html[dark] {
|
|
|
// border colors
|
|
// border colors
|
|
|
$border-color-theme: $lightthemecolor;
|
|
$border-color-theme: $lightthemecolor;
|
|
|
$thickborder: #5584e1;
|
|
$thickborder: #5584e1;
|
|
|
|
|
+ $bordercolor-inline-code: $lightthemecolor;
|
|
|
|
|
|
|
|
// dropdown colors
|
|
// dropdown colors
|
|
|
$bgcolor-dropdown-link-active: $growi-blue;
|
|
$bgcolor-dropdown-link-active: $growi-blue;
|