Remove Noto fonts.
This commit is contained in:
		
							parent
							
								
									3005bd5040
								
							
						
					
					
						commit
						b5b389df3e
					
				| 
						 | 
					@ -23,7 +23,6 @@
 | 
				
			||||||
  fonts = {
 | 
					  fonts = {
 | 
				
			||||||
    fontconfig = {
 | 
					    fontconfig = {
 | 
				
			||||||
      defaultFonts = {
 | 
					      defaultFonts = {
 | 
				
			||||||
        emoji = [ "Noto Color Emoji" ];
 | 
					 | 
				
			||||||
        monospace = [ "Hasklig" "Victor Mono" "DejaVu Sans Mono" ];
 | 
					        monospace = [ "Hasklig" "Victor Mono" "DejaVu Sans Mono" ];
 | 
				
			||||||
        sansSerif = [ "Inter" "DejaVu Sans" ];
 | 
					        sansSerif = [ "Inter" "DejaVu Sans" ];
 | 
				
			||||||
        serif = [ "Inter" "DejaVu Sans" ];
 | 
					        serif = [ "Inter" "DejaVu Sans" ];
 | 
				
			||||||
| 
						 | 
					@ -35,7 +34,6 @@
 | 
				
			||||||
      hasklig
 | 
					      hasklig
 | 
				
			||||||
      inter
 | 
					      inter
 | 
				
			||||||
      iosevka
 | 
					      iosevka
 | 
				
			||||||
      noto-fonts
 | 
					 | 
				
			||||||
      victor-mono
 | 
					      victor-mono
 | 
				
			||||||
      (nerdfonts.override { fonts = [ "Hasklig" ]; })
 | 
					      (nerdfonts.override { fonts = [ "Hasklig" ]; })
 | 
				
			||||||
    ];
 | 
					    ];
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Reference in New Issue