// Backgrounds
//$color__background-body: #fff;
//$color__background-input: #fff;
//$color__background-screen: #f1f1f1;
//$color__background-hr: #ccc;
//$color__background-button: #0073aa;
//$color__background-button-hover: lighten( $color__background-button, 22.5% );
//$color__background-pre: #eee;
//$color__background-ins: #fff9c0;
//$color__background_selection: mix( $color__background-body, $color__background-button, 75% ); // lighten( salmon, 22.5% ); // lighten( #0999d4, 48% );

// Text
//$color__text-main: #111;
//$color__text-light: lighten( $color__text-main, 22.5% );
//$color__text-hover: lighten( #111, 22.5% );
//$color__text-screen: #21759b;

// Links
//$color__link: #0073aa;
//$color__link-visited: $color__link;
//$color__link-hover: darken( $color__link, 10% );

// Borders
$color__border: #ccc;
