Как изменить размер шрифта выводимого кода в блокноте Jupyter Notebook в самом блокноте?

Как изменить размер шрифта выводимого кода в блокноте Jupyter Notebook в самом блокноте?

У меня есть набор блокнотов Jupyter, которые я храню на GitHub, чтобы пользователи могли получить к ним доступ через Binder.

Я хотел бы уменьшить размер шрифта вывода блоков кода для пользователя. Вся информация, которую я могу найти об изменении размера шрифта, в том числе на Stack Overflow, относится к изменению файла custom.css. Этот файл изменяет то, чтоявижу в своем браузере, но он не является частью репозитория, не может быть отправлен на GitHub и не обслуживается Binder, поэтому изменение этого файла никак не влияет на то, что видят мои пользователи.

Есть ли способ изменить размер выходного шрифта, который является родным для самого блокнота и, следовательно, сохранится при передаче через GitHub и Binder?

Это Jupyter Notebook 5.4.0.

решение1

Добавьте это ко всем блокнотам как ПОСЛЕДНЮЮ ячейку. Поскольку используется javascript, пользователи должны доверять блокнотам.

%%javascript
$('.output_result').css('font-size', '5pt')

решение2

Пользователи должны иметь возможность изменять размер шрифта в соответствии со своими визуальными возможностями. Дайте пользователям инструкции по установке jupyter_contrib_nbextensions и включению расширения Code Font Size: https://github.com/ipython-contrib/jupyter_contrib_nbextensions

Связанный контент