Feature: Add option to change font size and font family in the editor about live-css-editor

[paras20xx]

@pranayrauthu
Hi ... thanks for the suggestion :-)

Can you describe your use case a little more?
Is it something among the following, or something else:

• You are using it on a high resolution / low resolution screen and it appears too small / too large
• You don't like the font
• You don't find the syntax highlighting to be good enough
  ... something else?

[pranayrauthu]

Yea exactly I use multiple monitors font size looks to be really small in one of them. Also, I want to modify the font style used in the editor to some other monospaced font.

[webextensions]

@pranayrauthu
I have prepared most of the changes required for implementing customize-able font-size. The changes should be released soon (in a few days/weeks) for Chrome along with some other unrelated improvements.

Note: I'll be adding the customize-able font-size, but would not be adding the monospace-font-family-change option. The main reason being that it doesn't seem to provide much utility at the current scale of this extension. In case font change is still required, one may use chrome://settings/fonts > Fixed-width font.

[webextensions]

The issue has now been fixed with fb453a9

The fix is available with the latest version of Magic CSS (v7.0.0) on Google Chrome.
For the other browsers, the update would be published later on.