Merge pull request 'dev' (#4) from dev into main

Reviewed-on: #4
This commit is contained in:
Yingjie Wang 2024-05-27 03:38:28 -04:00
commit b7e4196d08

View File

@ -54,7 +54,7 @@ window#waybar {
#workspaces button {
padding: 0px 5px;
margin: 3px;
border-radius: 10px;
border-radius: 15px;
border: 0px;
color: @textcolor1;
background: @workspacesbackground2;
@ -62,17 +62,8 @@ window#waybar {
opacity: 0.4;
}
#workspaces button.active {
color: @textcolor1;
background: @workspacesbackground2;
border-radius: 10px;
min-width: 30px;
transition: all 0.3s ease-in-out;
opacity:1.0;
}
#workspaces button.empty {
border-radius: 10px;
border-radius: 15px;
border: 0px;
color: @textcolor1;
background: transparent;
@ -87,6 +78,15 @@ window#waybar {
opacity:0.7;
}
#workspaces button.active {
color: @textcolor1;
background: @workspacesbackground2;
border-radius: 15px;
min-width: 30px;
transition: all 0.3s ease-in-out;
opacity:1.0;
}
/* -----------------------------------------------------
* Tooltips
* ----------------------------------------------------- */