updated font
This commit is contained in:
@@ -9,8 +9,10 @@ window {
|
||||
color: transparent;
|
||||
|
||||
* {
|
||||
font-family: 'Ubuntu Nerd Font Regular';
|
||||
font-size: 0.9rem;
|
||||
// font-family: 'JetBrainsMono Nerd Font'; // Mono-like
|
||||
// font-family: 'MonaspiceRn Nerd Font'; // Verspielt
|
||||
font-family: 'DaddyTimeMono Nerd Font';
|
||||
font-size: 0.8rem;
|
||||
border-radius: 1.5rem 1rem;
|
||||
padding: 2px 6px;
|
||||
}
|
||||
|
@@ -19,11 +19,11 @@
|
||||
: 'music--on'
|
||||
}
|
||||
{arraylength(search(music, 'spotify')) >= 1
|
||||
? replace(music, 'spotify', ' ')
|
||||
? replace(music, 'spotify', ' ')
|
||||
: arraylength(search(music, 'firefox')) >= 1
|
||||
? replace(music, 'firefox', ' ')
|
||||
? replace(music, 'firefox', ' ')
|
||||
: arraylength(search(music, 'mpv')) >= 1
|
||||
? replace(music, 'mpv', ' ')
|
||||
? replace(music, 'mpv', ' ')
|
||||
: music
|
||||
}
|
||||
)
|
||||
|
Reference in New Issue
Block a user