• Vinod K Chandran (3/3) Feb 07 2021 Hi all,
• Paul Backus (14/17) Feb 07 2021 You mean run.dlang.io? The easiest way would be to use an
• Vinod K Chandran (2/2) Feb 07 2021 On Sunday, 7 February 2021 at 18:44:35 UTC, Paul Backus wrote:

Vinod K Chandran <kcvinu82 gmail.com> writes:

Hi all,
Is it possible to implement Font & Font size changing feature in 
D Online editor ?

Paul Backus <snarwin gmail.com> writes:

On Sunday, 7 February 2021 at 17:41:02 UTC, Vinod K Chandran 
wrote:
 Hi all,
 Is it possible to implement Font & Font size changing feature 
 in D Online editor ?

You mean run.dlang.io? The easiest way would be to use an 
extension like Stylebot for Chrome [1] or Stylus for Firefox [2] 
to modify the CSS, with a rule like the following:

.CodeMirror {
     font-family: "Helvetica";
     font-size: 14pt;
}

Of course, you can change the font name and size to whatever you 
prefer.

[1] 
https://chrome.google.com/webstore/detail/stylebot/oiaejidbmkiecgbjeifoejpgmdaleoha?hl=en-US
[2] https://addons.mozilla.org/en-US/firefox/addon/styl-us/

Vinod K Chandran <kcvinu82 gmail.com> writes:

On Sunday, 7 February 2021 at 18:44:35 UTC, Paul Backus wrote:

Thank you. Let me try it.