Жил я не тужил, и вот в один момент поменялся шрифт в синтаксис помощнике на какой-то типа Times New Roman.
Платформа: 8.2.19.130
Вопрос: как вернуть типовой шрифт в синтаксис помощник?

Подозреваю, что в свойствах IE в Панели управления

Вот такой он у меня теперь:
http://prntscr.com/def245
:(

Ничего необычного не нашёл

Почистил кэш браузера IE. Всё вернулось
УРА

(4) Переводишь фокус в помощник, зажимаешь Ctrl и проворачиваешь колёсико мышки.

Это не шрифт, это масштаб вроде