scintilla margin font set and margin size adjusted according to zoom