Ensure disabled tab has fully dashed border

pull/5564/head
Nick O'Leary 2026-03-12 11:40:25 +00:00
parent 0d96ba296d
commit ccf17d6933
No known key found for this signature in database
GPG Key ID: 4F2157149161A6C9
1 changed files with 3 additions and 3 deletions

View File

@ -96,9 +96,9 @@
}
.red-ui-workspace-disabled {
&.red-ui-tab {
border-top-style: dashed;
border-left-style: dashed;
border-right-style: dashed;
&.active {
border-style: dashed;
}
a {
font-style: italic;