Merge pull request 'Monitor release 16th May 2023' (#1) from develop into master

Reviewed-on: #1
This commit is contained in:
Konstantinos Triantafyllou 2023-05-16 16:25:56 +02:00
commit c47077df60
1 changed files with 16 additions and 0 deletions

View File

@ -32,6 +32,9 @@
--input-color-disabled: @global-muted-color; --input-color-disabled: @global-muted-color;
/* Danger */ /* Danger */
--input-danger-color: @global-danger-background; --input-danger-color: @global-danger-background;
/* Action */
--input-action-icon-color: @global-secondary-background;
--input-action-icon-color-disabled: @global-muted-color;
} }
/** Input Wrapper */ /** Input Wrapper */
@ -142,6 +145,19 @@
margin-right: var(--input-padding-horizontal); margin-right: var(--input-padding-horizontal);
} }
& .action-icon {
padding: 0 var(--input-padding-horizontal);
color: var(--input-action-icon-color);
cursor: pointer;
user-select: none;
&.disabled {
color: var(--input-action-icon-color-disabled);
cursor: default;
pointer-events: none;
}
}
& > .tools { & > .tools {
padding-right: var(--input-padding-horizontal); padding-right: var(--input-padding-horizontal);
} }