[TYPO3-v4] Styling changes with introduction of ExtJS4

[Stanislas Rolland]

Hi Jigal,
>
> I noticed that the default font in the BE changed to Tahoma when ExtJS4
> was introduced. Was this on purpose and checked by the UI/design team?
> It really hurts my eyes :-(
>
No, this is not intentional.

> While tracking it down to sysext/t3skin/extjs/css/ext-all-typo3.css I
> noticed a directory 'sass'. Inside was also a ext-all-typo3.css file
> with all kinds of error messages. Why do we have this in the core??
See: http://forge.typo3.org/issues/31918#note-1

The css file is generated using sass. But, I am not familiar with this 
process.

Stanislas