$tool-include-hover-icons: dynamic(true); $tool-opacity: dynamic(1); $tool-opacity-over: dynamic(1); $tool-opacity-pressed: dynamic(.5); $tool-focus-background-color: dynamic($orange);
