rust-playground icon indicating copy to clipboard operation
rust-playground copied to clipboard

Published 20 hours ago • verified publisher icon rust-lang

Font size option

Open Alfex4936 opened this issue 2 years ago • 2 comments

Hello,

Firstly, thank you for providing such a great tool! I really enjoy using it.

However, I was wondering if it would be possible to change the font size in the embedded widget when using it on my HTML page, or alternatively, add an option to adjust the font size on your website.

Best regards.

Alfex4936 avatar Mar 17 '23 07:03 Alfex4936

in the embedded widget

we do not provide such a tool; what do you mean by this?

is using your browser’s font size control (e.g. control-plus) insufficient?

shepmaster avatar Mar 17 '23 16:03 shepmaster

sorry, what i meant is that im using your playground as share - embedded code in link to put in my html. (embedded)

So it's basically the same as the website version, but I was wondering if there's a way to change the font size dynamically? (or override)

Alfex4936 avatar Mar 18 '23 05:03 Alfex4936