private string getCSS()
{
CustomFont cFont = settings.RenderFont;
string fontStyle = ((cFont.isItalic ? "italic " : "") + (cFont.isBold ? "bold " : "")).Trim();
return($@"body {{
margin: 10px; padding: 0;
background-color: #{cFont.bgcolor}; color: #{cFont.fgcolor};
font: {fontStyle} {cFont.size}pt {cFont.family}, Segoe UI, Verdana, Arial, Helvetica, sans-serif
}} ");
}
private void CheckSettings()
{
if (EditorFont == null)
{
EditorFont = new CustomFont("Consolas", 11.25F, Color.Black, Color.White);
}
if (OutputFont == null)
{
OutputFont = new CustomFont("Consolas", 11.25F, Color.Black, Color.White);
}
if (RenderFont == null)
{
RenderFont = new CustomFont("Segoe UI", 9F, Color.White, Color.FromArgb(0, 48, 48));
}
}
