2024-06-20 16:06:53 +01:00
|
|
|
(deftheme iosevka
|
|
|
|
|
"Use customised variants of Iosevka font")
|
|
|
|
|
|
|
|
|
|
(custom-theme-set-faces
|
|
|
|
|
'iosevka
|
2024-06-20 16:22:01 +01:00
|
|
|
'(default ((t (:family "IosevkaCustomNerdFont" :height 120))))
|
2024-06-20 16:06:53 +01:00
|
|
|
'(fixed-pitch ((t (:family "IosevkaCustomNerdFont"))))
|
|
|
|
|
'(fixed-pitch-serif ((t (:family "IosevkaCustomNerdFont"))))
|
|
|
|
|
'(variable-pitch ((t (:family "Iosevka Custom Aile")))))
|
|
|
|
|
|
|
|
|
|
(provide-theme 'iosevka)
|
