forked from nico/dots
font: replace jetbrainsmono with comicshannsmono
This commit is contained in:
parent
00b03c4e8e
commit
e72341c3ea
6 changed files with 6 additions and 6 deletions
|
|
@ -6,7 +6,7 @@
|
||||||
packages = with pkgs; [
|
packages = with pkgs; [
|
||||||
noto-fonts # most langs and emojis
|
noto-fonts # most langs and emojis
|
||||||
noto-fonts-cjk-sans # gets japanese and chinese langs
|
noto-fonts-cjk-sans # gets japanese and chinese langs
|
||||||
nerd-fonts.jetbrains-mono # programming fonts
|
nerd-fonts.comic-shanns-mono # programming fonts
|
||||||
corefonts # basic web fonts
|
corefonts # basic web fonts
|
||||||
];
|
];
|
||||||
};
|
};
|
||||||
|
|
|
||||||
|
|
@ -7,5 +7,5 @@ gtk-titlebar = false
|
||||||
|
|
||||||
quit-after-last-window-closed = true
|
quit-after-last-window-closed = true
|
||||||
|
|
||||||
font-family = "JetBrainsMono Nerd Font"
|
font-family = "ComicShannsMono Nerd Font"
|
||||||
font-size = 18
|
font-size = 18
|
||||||
|
|
|
||||||
|
|
@ -29,6 +29,6 @@ label {
|
||||||
valign = center
|
valign = center
|
||||||
halign = center
|
halign = center
|
||||||
font_size = 256
|
font_size = 256
|
||||||
font_family = JetBrainsMono Nerd Font
|
font_family = ComicShannsMono Nerd Font
|
||||||
text = $TIME12
|
text = $TIME12
|
||||||
}
|
}
|
||||||
|
|
|
||||||
|
|
@ -49,7 +49,7 @@ color15 #c0caf5
|
||||||
color16 #ff9e64
|
color16 #ff9e64
|
||||||
color17 #db4b4b
|
color17 #db4b4b
|
||||||
|
|
||||||
font_family JetBrainsMono Nerd Font
|
font_family ComicShannsMono Nerd Font
|
||||||
bold_font auto
|
bold_font auto
|
||||||
italic_font auto
|
italic_font auto
|
||||||
bold_italic_font auto
|
bold_italic_font auto
|
||||||
|
|
|
||||||
|
|
@ -26,7 +26,7 @@ SOFTWARE.*/
|
||||||
* {
|
* {
|
||||||
all: unset;
|
all: unset;
|
||||||
font-size: 14px;
|
font-size: 14px;
|
||||||
font-family: "JetBrainsMono Nerd Font";
|
font-family: "ComicShannsMono Nerd Font";
|
||||||
transition: 200ms;
|
transition: 200ms;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -11,7 +11,7 @@
|
||||||
|
|
||||||
* {
|
* {
|
||||||
/* `otf-font-awesome` is required to be installed for icons */
|
/* `otf-font-awesome` is required to be installed for icons */
|
||||||
font-family: JetBrainsMono Nerd Font, FontAwesome, Roboto, Helvetica, Arial, sans-serif;
|
font-family: ComicShannsMono Nerd Font, FontAwesome, Roboto, Helvetica, Arial, sans-serif;
|
||||||
font-size: 13px;
|
font-size: 13px;
|
||||||
border-radius: 10px;
|
border-radius: 10px;
|
||||||
transition-duration: 0.5s;
|
transition-duration: 0.5s;
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue