From a710d3f2da3e80f153325bbb385a7e8789a7fea7 Mon Sep 17 00:00:00 2001 From: Herrie Date: Wed, 29 Jun 2016 13:52:09 +0200 Subject: [PATCH 08/10] html.css & themeWin.css: Add Prelude as default font instead of monospace Signed-off-by: Herman van Hazendonk --- chromium/third_party/WebKit/Source/core/css/html.css | 6 ++++-- chromium/third_party/WebKit/Source/core/css/themeWin.css | 2 +- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/src/3rdparty/chromium/third_party/WebKit/Source/core/css/html.css b/src/3rdparty/chromium/third_party/WebKit/Source/core/css/html.css index 586eef8..8860768 100644 --- a/src/3rdparty/chromium/third_party/WebKit/Source/core/css/html.css +++ b/src/3rdparty/chromium/third_party/WebKit/Source/core/css/html.css @@ -56,7 +56,8 @@ script { body { display: block; - margin: 8px + margin: 8px; + font-family: Prelude; } body:-webkit-full-page-media { @@ -399,6 +400,7 @@ input, textarea, keygen, select, button { margin: 0__qem; font: -webkit-small-control; text-rendering: auto; /* FIXME: Remove when tabs work with optimizeLegibility. */ + font-family: Prelude; color: initial; letter-spacing: normal; word-spacing: normal; @@ -921,7 +923,7 @@ i, cite, em, var, address, dfn { } tt, code, kbd, samp { - font-family: monospace + font-family: monospace; } pre, xmp, plaintext, listing { diff --git a/src/3rdparty/chromium/third_party/WebKit/Source/core/css/themeWin.css b/src/3rdparty/chromium/third_party/WebKit/Source/core/css/themeWin.css index 43cf9e1..1ac5fba 100644 --- a/src/3rdparty/chromium/third_party/WebKit/Source/core/css/themeWin.css +++ b/src/3rdparty/chromium/third_party/WebKit/Source/core/css/themeWin.css @@ -114,7 +114,7 @@ select[size][multiple] { } textarea { - font-family: monospace; + font-family: Prelude; /* Same as native_theme_base. */ border-color: #a9a9a9; } -- 2.7.4