Huge letters in Ajax editor

The Ajax translation editor is currently using a large font size, making it almost impossible to work with it, especially with longer messages. I hope this change can be reverted.

It has something to do with the Vector CSS. As far as I know, Niklas is looking into it.

It should be fixed already. It may be that the resource loader is still acting up and serving stale css. Try purging your browser caches.

I've done that about MAX_INT times. Now this actually helps.

How comes it works for me then? That still leaves everything broken for all other users of the extension.

I don't know. You're probably not using the UI features, missing out on some great CSS.

It seems you want small while I only went as far as medium.

I wanted it to look similar to what it looked like in Modern. Now it does, I think.

I reverted those changes and added them to Translate.css

And why not just the "normal" font size (i.e. the default size set in the browser, which will work independantly of the script used : "medium" is often too small for Chinese, Korean, Khmer, Lao, Tibetan and Arabic for many users that change their browser settings to use larger fonts).

Note: the "zoom" function in browsers (Control + Numpad-Plus/Minus/Zero) acts differently: it may changes the layout so that all sizes specified in pixels or ems will be altered, so that the display may be outside of the current window size (needing horizontal scrolling). Normally, users should be able to use the application with the 100% zoom level (zooming should be temporary, most often when looking at some rendered image, or by using a zoom accessory outside of the browser itself, such as in Windows+U accessibility tools).