void () { myResultBuffer.append("<html><head><meta http-equiv=\"content-type\" content=\"text/html; charset=UTF-8\"></head><body>"); // IDEA-295350 background color is applied to a div block in order to be displayed in Google Docs correctly myResultBuffer.append("<div style=\"background-color:"); appendColor(myResultBuffer, myDefaultBackground); myResultBuffer.append(";color:"); appendColor(myResultBuffer, myDefaultForeground); myResultBuffer.append("\">"); // the pre tag is used instead of `white-space:pre;` because of IDEA-316921 myResultBuffer.append("<pre style=\""); int[] fontIds = myFontNameRegistry.getAllIds(); if (fontIds.length > 0) { myFontFamily = myDefaultFontFamily = fontIds[0]; appendFontFamilyRule(myResultBuffer, myDefaultFontFamily); } else { myFontFamily = myDefaultFontFamily = -1; } float fontSize = mySyntaxInfo.getFontSize(); // on macOS font size in points declared in HTML doesn't mean the same value as when declared e.g. in TextEdit (and in Java), // this is the correction factor if (SystemInfo.isMac) fontSize *= 0.75f; myResultBuffer.append(String.format("font-size:%.1fpt;", fontSize)); myResultBuffer.append("\">"); }