util: specify "pt" explicitly (IDEA-CR-5046)

diff --git a/platform/util/src/com/intellij/util/ui/UIUtil.java b/platform/util/src/com/intellij/util/ui/UIUtil.java
index 9f6ea38db4f79453ad851d92154b466e30455863..4403fbc477c769dd7cbb6e25a9eed816721b9aa7 100644 (file)
--- a/platform/util/src/com/intellij/util/ui/UIUtil.java
+++ b/platform/util/src/com/intellij/util/ui/UIUtil.java
@@ -1977,7 +1977,7 @@ 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" +
-                  "code { font-size:" + font.getSize() + "}\n";
+                  "code {font-size:" + font.getSize() + "pt;}\n";
     if (resource != null) {
       body += "ul {list-style-image:url('" + StringUtil.escapeCharCharacters(resource.toExternalForm()) + "');}\n";
     }