$tool-include-hover-icons: false !default; $tool-opacity: .5 !default; $tool-opacity-over: .6 !default; $tool-opacity-pressed: .7 !default;