1
0
mirror of https://github.com/node-red/node-red.git synced 2023-10-10 13:36:53 +02:00

Dont hover disabled editor primary buttons

This commit is contained in:
Nick O'Leary 2016-06-14 14:38:52 +01:00
parent cc02b07ff0
commit d8405052d8

View File

@ -84,7 +84,7 @@
color: $editor-button-color-primary; color: $editor-button-color-primary;
background: $editor-button-background-primary; background: $editor-button-background-primary;
&:hover { &:not(.disabled):hover {
border-color: $editor-button-background-primary-hover; border-color: $editor-button-background-primary-hover;
background: $editor-button-background-primary-hover; background: $editor-button-background-primary-hover;
color: $editor-button-color-primary !important; color: $editor-button-color-primary !important;