From e10e58db2b2da0e8eba795794a01176193e67cef Mon Sep 17 00:00:00 2001 From: Shawn Pearce Date: Wed, 21 Aug 2013 13:59:12 -0700 Subject: [PATCH] Override default font-family from "chrome" theme The default "chrome" theme supplied by GWT is selecting "Arial Unicode MS" as a font. This font exists on Mac OS but has no bold version, preventing bold from displaying. Bug: issue 1863 Change-Id: I93b016b1349ccd7432a37a57eaaa017b64972184 --- .../src/main/java/com/google/gerrit/client/gerrit.css | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/gerrit-gwtui/src/main/java/com/google/gerrit/client/gerrit.css b/gerrit-gwtui/src/main/java/com/google/gerrit/client/gerrit.css index 9bf7b0c132..7196b87646 100644 --- a/gerrit-gwtui/src/main/java/com/google/gerrit/client/gerrit.css +++ b/gerrit-gwtui/src/main/java/com/google/gerrit/client/gerrit.css @@ -44,6 +44,10 @@ background: transparent; } +body, table td, select { + font-family: norm-font; +} + .gerritBody { font-size: small; padding-left: 5px;