2023-09-19 23:24:46 -04:00
|
|
|
.overview {
|
|
|
|
min-height: 1px;
|
|
|
|
min-width: 1px;
|
|
|
|
|
|
|
|
.workspace .window {
|
|
|
|
border-radius: 10px;
|
2023-09-19 23:36:17 -04:00
|
|
|
margin: 0 10px;
|
2023-09-20 14:46:39 -04:00
|
|
|
transition: min-width 0.2s ease-in-out,
|
|
|
|
min-height 0.2s ease-in-out,
|
|
|
|
border-color 0.2s ease-in-out;
|
2023-09-19 23:24:46 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
.normal {
|
|
|
|
margin-bottom: 5px;
|
|
|
|
|
|
|
|
.workspace {
|
|
|
|
|
|
|
|
.window {
|
|
|
|
border: 2px solid #411C6C;
|
|
|
|
|
|
|
|
&.active {
|
|
|
|
border: 2px solid purple;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
.special {
|
|
|
|
|
|
|
|
.workspace {
|
|
|
|
|
|
|
|
.window {
|
|
|
|
border: 2px solid lighten($color: black, $amount: 20);
|
|
|
|
|
|
|
|
&.active {
|
|
|
|
border: 2px solid purple;
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|