diff --git a/platform/platform-impl/src/com/intellij/ide/util/TipUIUtil.java b/platform/platform-impl/src/com/intellij/ide/util/TipUIUtil.java index ffd9cff6ec70..7af4f3735f61 100644 --- a/platform/platform-impl/src/com/intellij/ide/util/TipUIUtil.java +++ b/platform/platform-impl/src/com/intellij/ide/util/TipUIUtil.java @@ -120,17 +120,10 @@ public class TipUIUtil { } } - private static final int TIP_FONT_BASE_SIZE = 16; private static final String TIP_HTML_TEXT_TAGS = "h1, p, pre, ul"; private static void adjustFontSize(StyleSheet styleSheet) { - Pair systemFontData = UIUtil.getSystemFontData(); - float scale = systemFontData == null ? 0 : (float)UISettings.getInstance().FONT_SIZE / systemFontData.getSecond(); - if (scale <= 1) return; // don't bother about decreasing - - // When the primary font is increased we should take care of the visibility of the tips font - // which is too small initially. So, a reasonable constant is used as the base for the scale. - int size = (int)(TIP_FONT_BASE_SIZE * scale); + int size = (int)UIUtil.getFontSize(UIUtil.FontSize.MINI); styleSheet.addRule(TIP_HTML_TEXT_TAGS + " {font-size: " + size + "px;}"); } diff --git a/platform/platform-resources-en/src/tips/css/tips.css b/platform/platform-resources-en/src/tips/css/tips.css index 1dea96fc5169..6985db714561 100644 --- a/platform/platform-resources-en/src/tips/css/tips.css +++ b/platform/platform-resources-en/src/tips/css/tips.css @@ -11,7 +11,7 @@ h1, p, ul { font-family: 'Lucida Console', monospace; } h1, p, pre, ul { - font-size: 10px; + /*font-size: 10px;*/ /*color: #3f3f3f;*/ } p, ul { diff --git a/platform/platform-resources-en/src/tips/css/tips_darcula.css b/platform/platform-resources-en/src/tips/css/tips_darcula.css index 3c7d46fc7a11..1a2a7c3e5e6d 100644 --- a/platform/platform-resources-en/src/tips/css/tips_darcula.css +++ b/platform/platform-resources-en/src/tips/css/tips_darcula.css @@ -26,7 +26,7 @@ h1, p, ul { font-family: 'Lucida Console', monospace; } h1, p, pre, ul { - font-size: 10px; + /*font-size: 10px;*/ /*color: #3f3f3f;*/ } p, ul { diff --git a/python/edu/resources/tips/css/tips.css b/python/edu/resources/tips/css/tips.css index 1dea96fc5169..6985db714561 100644 --- a/python/edu/resources/tips/css/tips.css +++ b/python/edu/resources/tips/css/tips.css @@ -11,7 +11,7 @@ h1, p, ul { font-family: 'Lucida Console', monospace; } h1, p, pre, ul { - font-size: 10px; + /*font-size: 10px;*/ /*color: #3f3f3f;*/ } p, ul { diff --git a/python/edu/resources/tips/css/tips_darcula.css b/python/edu/resources/tips/css/tips_darcula.css index 3c7d46fc7a11..1a2a7c3e5e6d 100644 --- a/python/edu/resources/tips/css/tips_darcula.css +++ b/python/edu/resources/tips/css/tips_darcula.css @@ -26,7 +26,7 @@ h1, p, ul { font-family: 'Lucida Console', monospace; } h1, p, pre, ul { - font-size: 10px; + /*font-size: 10px;*/ /*color: #3f3f3f;*/ } p, ul { diff --git a/python/resources/tips/css/tips.css b/python/resources/tips/css/tips.css index 1dea96fc5169..6985db714561 100644 --- a/python/resources/tips/css/tips.css +++ b/python/resources/tips/css/tips.css @@ -11,7 +11,7 @@ h1, p, ul { font-family: 'Lucida Console', monospace; } h1, p, pre, ul { - font-size: 10px; + /*font-size: 10px;*/ /*color: #3f3f3f;*/ } p, ul { diff --git a/python/resources/tips/css/tips_darcula.css b/python/resources/tips/css/tips_darcula.css index 3c7d46fc7a11..1a2a7c3e5e6d 100644 --- a/python/resources/tips/css/tips_darcula.css +++ b/python/resources/tips/css/tips_darcula.css @@ -26,7 +26,7 @@ h1, p, ul { font-family: 'Lucida Console', monospace; } h1, p, pre, ul { - font-size: 10px; + /*font-size: 10px;*/ /*color: #3f3f3f;*/ } p, ul {