|
|
@@ -0,0 +1,39 @@
|
|
|
+$radius: .25em;
|
|
|
+
|
|
|
+$bgcolor-theme: rgb(18, 86, 163);
|
|
|
+$themelight: #f4f5f6;
|
|
|
+$subthemecolor: rgb(90, 149, 216);
|
|
|
+$lightthemecolor: rgba(181, 203, 247, 0.61);
|
|
|
+
|
|
|
+$bgcolor-navbar: $bgcolor-theme;
|
|
|
+$bgcolor-global: $themelight;
|
|
|
+$bgcolor-global: $themelight;
|
|
|
+
|
|
|
+$color-header: $bgcolor-theme;
|
|
|
+$color-global: #3c4a60;
|
|
|
+$linktext: rgb(74, 109, 204);
|
|
|
+$linktext-hover: lighten($linktext, 12%);
|
|
|
+$sidebar-text: $bgcolor-theme;
|
|
|
+
|
|
|
+$primary: $bgcolor-theme;
|
|
|
+$info: lighten($bgcolor-theme, 20%);
|
|
|
+
|
|
|
+$fillcolor-logo-mark: lighten($bgcolor-theme, 20%);
|
|
|
+$color-link-wiki: lighten($bgcolor-theme, 20%);
|
|
|
+$color-link-wiki-hover: lighten($color-link-wiki, 20%);
|
|
|
+$color-inline-code: $subthemecolor;
|
|
|
+$bgcolor-inline-code: lighten($subthemecolor, 70%);
|
|
|
+$border: $lightthemecolor;
|
|
|
+
|
|
|
+// change color of highlighted header in wiki (default: orange)
|
|
|
+.wiki {
|
|
|
+ .code-line.revision-head.highlighted {
|
|
|
+ color: $themelight;
|
|
|
+ background-color: lighten($bgcolor-theme, 20%);
|
|
|
+
|
|
|
+ .icon-note,
|
|
|
+ .icon-link {
|
|
|
+ color: $themelight;
|
|
|
+ }
|
|
|
+ }
|
|
|
+}
|