From 248147537c0306ca0209956a079795772322d2e2 Mon Sep 17 00:00:00 2001 From: Robert Timm Date: Fri, 17 Feb 2017 23:43:36 +0100 Subject: [PATCH] changes default gui font to 10pt --- src/config.def.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/config.def.h b/src/config.def.h index 1f55e24..8b2d27b 100644 --- a/src/config.def.h +++ b/src/config.def.h @@ -47,6 +47,6 @@ /* default font size for fonts in webview */ #define SETTING_DEFAULT_FONT_SIZE 16 #define SETTING_DEFAULT_MONOSPACE_FONT_SIZE 13 -#define SETTING_GUI_FONT_NORMAL "10px monospace" -#define SETTING_GUI_FONT_EMPH "bold 10px monospace" -#define SETTING_HOME_PAGE "about:blank" +#define SETTING_GUI_FONT_NORMAL "10pt monospace" +#define SETTING_GUI_FONT_EMPH "bold 10pt monospace" +#define SETTING_HOME_PAGE "about:blank" -- 2.20.1