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