Можно ли использовать расширение Stylus Chrome для изменения шрифта редактора запросов в веб-интерфейсе pgAdmin 4 ?
Я пробовал занятия .CodeMirror и .CodeMirror-code или даже PRE , но я подозреваю, что может быть проблема с самим редактором, живущим внутри динамически созданного элемента <IFRAME> на странице.