$tool-include-hover-icons: true !default; $tool-opacity: 1 !default; $tool-opacity-over: 1 !default; $tool-opacity-pressed: .5 !default; $tool-focus-background-color: $orange !default;