diff --git a/data/core/init.lua b/data/core/init.lua index 812fa3f7..c56e8e61 100644 --- a/data/core/init.lua +++ b/data/core/init.lua @@ -270,7 +270,7 @@ local style = require "core.style" -- customize fonts: -- style.font = renderer.font.load(DATADIR .. "/fonts/font.ttf", 14 * SCALE) --- style.code_font = renderer.font.load(DATADIR .. "/fonts/monospace.ttf", 13.5 * SCALE) +-- style.code_font = renderer.font.load(DATADIR .. "/fonts/monospace.ttf", 12.5 * SCALE) -- -- font names used by lite: -- style.font : user interface diff --git a/data/core/style.lua b/data/core/style.lua index d5fad9e0..c066dc57 100644 --- a/data/core/style.lua +++ b/data/core/style.lua @@ -25,7 +25,7 @@ style.font = renderer.font.load(DATADIR .. "/fonts/font.ttf", 14 * SCALE) style.big_font = renderer.font.load(DATADIR .. "/fonts/font.ttf", 34 * SCALE) style.icon_font = renderer.font.load(DATADIR .. "/fonts/icons.ttf", 14 * SCALE, {antialiasing="grayscale", hinting="full"}) style.icon_big_font = renderer.font.load(DATADIR .. "/fonts/icons.ttf", 20 * SCALE, {antialiasing="grayscale", hinting="full"}) -style.code_font = renderer.font.load(DATADIR .. "/fonts/monospace.ttf", 13.5 * SCALE) +style.code_font = renderer.font.load(DATADIR .. "/fonts/monospace.ttf", 12.5 * SCALE) style.background = { common.color "#2e2e32" } style.background2 = { common.color "#252529" } diff --git a/data/user/init.lua b/data/user/init.lua index 7f2364a6..25851de0 100644 --- a/data/user/init.lua +++ b/data/user/init.lua @@ -22,7 +22,7 @@ local style = require "core.style" -- customize fonts: -- style.font = renderer.font.load(DATADIR .. "/fonts/font.ttf", 14 * SCALE) --- style.code_font = renderer.font.load(DATADIR .. "/fonts/monospace.ttf", 13.5 * SCALE) +-- style.code_font = renderer.font.load(DATADIR .. "/fonts/monospace.ttf", 12.5 * SCALE) -- -- font names used by lite: -- style.font : user interface