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 719c78d346b1..0a0bd3295eac 100644 --- a/platform/platform-impl/src/com/intellij/ide/util/TipUIUtil.java +++ b/platform/platform-impl/src/com/intellij/ide/util/TipUIUtil.java @@ -28,7 +28,6 @@ import org.jetbrains.annotations.NonNls; import javax.swing.*; import javax.swing.text.Document; -import javax.swing.text.html.HTMLDocument; import java.io.IOException; import java.io.StringReader; import java.net.URL; @@ -65,11 +64,7 @@ public class TipUIUtil { String replaced = text.toString().replace("&productName;", ApplicationNamesInfo.getInstance().getFullProductName()); replaced = replaced.replace("&majorVersion;", ApplicationInfo.getInstance().getMajorVersion()); replaced = replaced.replace("&minorVersion;", ApplicationInfo.getInstance().getMinorVersion()); - browser.read(new StringReader(replaced), null); - final Document document = browser.getDocument(); - if (document instanceof HTMLDocument) { - ((HTMLDocument)document).setBase(url); - } + browser.read(new StringReader(replaced), url); } catch (IOException e) { setCantReadText(browser); diff --git a/platform/platform-resources-en/src/tips/css/tips.css b/platform/platform-resources-en/src/tips/css/tips.css new file mode 100644 index 000000000000..1cdeee164b52 --- /dev/null +++ b/platform/platform-resources-en/src/tips/css/tips.css @@ -0,0 +1,46 @@ +body { + background: #ffffff; + margin-bottom: 3px; +} +p, h1 { + font-family: 'Malgun Gothic', 'Meiryo UI', 'MS Reference Sans Serif', verdana, arial, sans-serif; +} +.code, .shortcut, pre { + font-family: "Courier New", Courier, monospace; +} +p, h1, pre { + margin-left: 7px; + margin-top: 3px; + margin-right: 2px; + margin-bottom: 0; + font-size: 10px; + color: #3f3f3f; +} +.image, pre { + margin-top: 6px; + margin-bottom: 3px; +} +pre { + border-style: solid; + border-width: 1px; + border-color: #d0d0d0; + background-color: #fbfbfb; + padding-left: 7px; + padding-top: 3px; + padding-bottom: 6px; +} +h1, .control, .shortcut { + font-weight: bold; +} +h1 .product, .emphasis { + color: #264db5; +} +h1 .version, .caret { + color: #f58220; +} +pre .emphasis, .code .emphasis { + color: #990000; +} +pre .keyword, .code .keyword { + color: #000080; +} \ No newline at end of file