//@import "./colored";

$highlight-background: #cce2ff !default;
$highlight-color: $text-color !default;

$input-highlight-background: rgba(100, 100, 100, 0.4) !default;
$input-highlight-color: $text-color !default;