MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-13 21:55:01 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-152440 Changes in License Dialog: 'Terms Of Service' (TOS) and 'Privacy Policy' (PP)

Browse Source 
Stage #5: CSS improvements
This commit is contained in:
Vassiliy.Kudryashov
2016-03-09 16:05:26 +03:00
parent 62f33640a8
commit 7bb78c99b4
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/idea/StartupUtil.java
+2 -2
View File
@@ -448,8 +448,8 @@ public class StartupUtil {
});
viewer.setText(htmlText);
StyleSheet styleSheet = ((HTMLDocument)viewer.getDocument()).getStyleSheet();
styleSheet.addRule("body {font-size:" + JBUI.scaleFontSize(17) + "pt;}");
styleSheet.addRule("h4 {font-size:" + JBUI.scaleFontSize(18) + "pt;}");
styleSheet.addRule("body {font-family: \"Segoe UI\", Tahoma, sans-serif;}");
styleSheet.addRule("h2 {margin-top:" + JBUI.scaleFontSize(30) + "pt;}");
viewer.setCaretPosition(0);
viewer.setBorder(JBUI.Borders.empty(5));
centerPanel.add(new JLabel("Please read and accept these terms and conditions:"), BorderLayout.NORTH);