IDEA-145301 HiDPI: font size is too small for text inside HTML <code> elements
authorSergey Simonchik <sergey.simonchik@jetbrains.com>
Fri, 18 Sep 2015 14:16:42 +0000 (17:16 +0300)
committerSergey Simonchik <sergey.simonchik@jetbrains.com>
Fri, 18 Sep 2015 14:16:42 +0000 (17:16 +0300)
platform/util/src/com/intellij/util/ui/UIUtil.java

index b950b0b293321cfad871357c072de7c9768dd0b1..9f6ea38db4f79453ad851d92154b466e30455863 100644 (file)
@@ -1976,7 +1976,8 @@ public class UIUtil {
 
     @NonNls String fontFamilyAndSize = "font-family:'" + font.getFamily() + "'; font-size:" + font.getSize() + "pt;";
     @NonNls @Language("HTML")
-    String body = "body, div, td, p {" + fontFamilyAndSize + " " + (fgColor != null ? "color:#" + ColorUtil.toHex(fgColor)+";" : "") + "}\n";
+    String body = "body, div, td, p {" + fontFamilyAndSize + " " + (fgColor != null ? "color:#" + ColorUtil.toHex(fgColor)+";" : "") + "}\n" +
+                  "code { font-size:" + font.getSize() + "}\n";
     if (resource != null) {
       body += "ul {list-style-image:url('" + StringUtil.escapeCharCharacters(resource.toExternalForm()) + "');}\n";
     }