diff options
| author | Robert Timm <mail@rtti.de> | 2017-02-17 23:42:18 +0100 |
|---|---|---|
| committer | Robert Timm <mail@rtti.de> | 2017-02-17 23:42:18 +0100 |
| commit | b4a2118a7b27a6502afee957dde089b84ca26427 (patch) | |
| tree | 50e8b03889f8d78c25b94e1ae8f24caf30223802 | |
| parent | 1d405d6e20b5bf0a67bec5270d02123c3dfd2e94 (diff) | |
makes font sizes match webkit2 defaults
| -rw-r--r-- | src/config.def.h | 3 | ||||
| -rw-r--r-- | src/setting.c | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/src/config.def.h b/src/config.def.h index d73d480..1f55e24 100644 --- a/src/config.def.h +++ b/src/config.def.h @@ -45,7 +45,8 @@ #define GUI_STYLE_CSS_BASE "#input text{background-color:inherit;color:inherit;caret-color:@color;font:inherit;}" /* default font size for fonts in webview */ -#define SETTING_DEFAULT_FONT_SIZE 10 +#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" diff --git a/src/setting.c b/src/setting.c index 4a6a41b..ef23eb7 100644 --- a/src/setting.c +++ b/src/setting.c @@ -102,7 +102,7 @@ void setting_init(Client *c) i = 5; setting_add(c, "minimumfontsize", TYPE_INTEGER, &i, webkit, 0, "minimum-font-size"); setting_add(c, "monofont", TYPE_CHAR, &"monospace", webkit, 0, "monospace-font-family"); - i = SETTING_DEFAULT_FONT_SIZE; + i = SETTING_DEFAULT_MONOSPACE_FONT_SIZE; setting_add(c, "monofontsize", TYPE_INTEGER, &i, webkit, 0, "default-monospace-font-size"); setting_add(c, "offlinecache", TYPE_BOOLEAN, &on, webkit, 0, "enable-offline-web-application-cache"); setting_add(c, "plugins", TYPE_BOOLEAN, &on, webkit, 0, "enable-plugins"); |