@import "default-theme";

$background-color: $color-white;
$background-lighter-color: $color-white;
$background-darker-color: $color-purple-200;
$background-darker-secondary-color: $color-purple-200;
$background-dark-color: $color-purple-900;
$text-color: $color-black;
$text-secondary-color: $color-black;
$text-tertiary-color: $color-black;
$border-light-color: $color-gray-600;
$text-darker-color: $color-black;
$edge-color: $color-black;

$node-elements-in-background-opacity: 0.4;

$node-highlight-shadow-opacity: 0.4;
$node-highlight-stroke-opacity: 0.5;
$node-highlight-stroke-width: 0.16;
$node-border-stroke-width: 0.2;
$node-shadow-stroke-width: 0.25;
$node-pseudo-opacity: 1;
$edge-highlight-opacity: 0.3;
$edge-opacity-blurred: 0;

$btn-opacity-default: 1;
$btn-opacity-hover: 1;
$btn-opacity-selected: 1;
$btn-opacity-disabled: 0.4;

$link-opacity-default: 1;

$search-border-color: $color-purple-200;
$search-border-width: 2px;

/* specific elements */
$body-background-color: $color-white;
$label-background-color: $color-white;