diff --git a/ivette/src/frama-c/plugins/wp/style.css b/ivette/src/frama-c/plugins/wp/style.css index 609e723ebe8656cc946e897fb072f27735b4de13..b53b0b3718a35fc710c195e0d0068a5e54ead46e 100644 --- a/ivette/src/frama-c/plugins/wp/style.css +++ b/ivette/src/frama-c/plugins/wp/style.css @@ -53,8 +53,8 @@ .wp-printer-field:hover { - fill: var(--default-button-color); - color: var(--default-button-color); + /* fill: var(--default-button-color); */ + /* color: var(--default-button-color); */ background: var(--background-button-hover) !important; }