search

akahuku / wasavi

wasavi is an extension for Chrome, Firefox, and Opera. wasavi changes a textarea element to virtual vi editor which supports almost all the vi/ex commands.
http://appsweets.net/wasavi/
Other
1.51k stars 65 forks source link

font size? #132

Open for-coursera opened 8 years ago

for-coursera commented 8 years ago

Is it possible to change (actually, increase) the font size? Modify the line spacing?

martinvonwittich commented 7 years ago

In the meantime, you can use CSS extensions like Stylebot to manually set the text size of certain textboxes on certain sites.

lamby commented 6 years ago

I tried adding #wasavi_editor { font-size: 150%; } to my stylebot global stylesheet but it doesn't seem to work. Is this because it's an extension?

lamby commented 6 years ago

… not that this would work as other things (eg. the page break ruler) would need to be adjusted too...

(via hacking via Chrome Inspector)

lamby commented 5 years ago

Gentle ping? I should really go to the opticians instead but I would love to see something for this. :)

OrionRandD commented 3 years ago

Font size feature, please... First request was in 2017!