themes: change minimal theme font size
This commit is contained in:
		
							parent
							
								
									f3a2f91254
								
							
						
					
					
						commit
						4d20cc82c4
					
				
					 1 changed files with 1 additions and 1 deletions
				
			
		|  | @ -14,7 +14,7 @@ in { | ||||||
|       fonts = { |       fonts = { | ||||||
|         monospace = { |         monospace = { | ||||||
|           package = pkgs.nerdfonts.override {fonts = ["JetBrainsMono"];}; |           package = pkgs.nerdfonts.override {fonts = ["JetBrainsMono"];}; | ||||||
|           size = 18; |           size = 16; | ||||||
|           family = "JetBrainsMono NF"; |           family = "JetBrainsMono NF"; | ||||||
|           variants = { |           variants = { | ||||||
|             regular = "JetBrainsMono NF:style=Regular"; |             regular = "JetBrainsMono NF:style=Regular"; | ||||||
|  |  | ||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue