1
0
mirror of https://github.com/mpv-player/mpv synced 2025-01-12 09:59:44 +00:00

stats: reduce default font size to 8

This commit is contained in:
Julian 2017-07-27 21:26:54 +02:00 committed by wm4
parent 19b8dfbd2b
commit 9bcb8f3bd9

View File

@ -40,7 +40,7 @@ local o = {
-- Text style -- Text style
font = "Source Sans Pro", font = "Source Sans Pro",
font_mono = "Source Sans Pro", -- monospaced digits are sufficient font_mono = "Source Sans Pro", -- monospaced digits are sufficient
font_size = 9, font_size = 8,
font_color = "FFFFFF", font_color = "FFFFFF",
border_size = 0.8, border_size = 0.8,
border_color = "262626", border_color = "262626",