change font and no margin on top

This commit is contained in:
cy 2024-12-04 22:23:59 -05:00
parent a15897e4bb
commit 8b89e664ea
2 changed files with 3 additions and 3 deletions

View file

@ -4,7 +4,7 @@
#workspaces button {
background: transparent;
padding: 0 10px;
font-family: SpaceMono Nerd Font;
font-family: RobotoMono Nerd Font;
font-weight: 900;
font-size: 13pt;
color: #c0caf5;
@ -39,7 +39,7 @@ tooltip {
#workspaces button.active {
border-bottom: 2px solid #7aa2f7;
border-radius: 0;
margin-top: 2px;
margin-top: 0px;
transition: none;
}