$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;
    }
  }
}