String () { // Shamelessly copied from Plugin Manager dialog final int fontSize = JBUIScale.scale(12); final int m1 = JBUIScale.scale(2); final int m2 = JBUIScale.scale(5); return String.format("<html><head>" + " <style type=\"text/css\">" + " p {" + " font-family: Arial,serif; font-size: %dpt; margin: %dpx %dpx" + " }" + " </style>" + "</head><body style=\"font-family: Arial,serif; font-size: %dpt; margin: %dpx %dpx;\">", fontSize, m1, m1, fontSize, m2, m2); }