_workspace-switcher.scss
ASCII text
1/* Workspace Switcher */ 2 3.workspace-switcher-group { 4padding: 8px; 5} 6 7.workspace-switcher-container { 8@extend %osd-panel; 9} 10 11.workspace-switcher { 12background: transparent; 13border: 0; 14border-radius: 0; 15padding: 0; 16spacing: 8px; 17} 18 19.ws-switcher-box { 20height: 48px; 21border: 0; 22border-radius: $corner-radius; 23background-color: disabled-stroke($on-surface); 24background-size: 0; 25} 26 27// active workspace in the switcher 28.ws-switcher-active-up, 29.ws-switcher-active-down, 30.ws-switcher-active-left, 31.ws-switcher-active-right { 32height: 48px; 33border: 0; 34border-radius: $corner-radius; 35background-color: $primary; 36background-size: 0; 37color: inherit; 38} 39