Tenho um conjunto de Jupyter Notebooks que armazeno no GitHub para que os usuários possam acessá-los por meio do Binder.
Gostaria de reduzir o tamanho da fonte da saída dos blocos de código para o usuário. Todas as informações que posso encontrar sobre como alterar o tamanho da fonte, inclusive no Stack Overflow, estão relacionadas à alteração do custom.css
arquivo. Este arquivo altera o queEUvejo em meu próprio navegador, mas não faz parte do repositório, não pode ser enviado para o GitHub e não é servido pelo Binder, portanto, alterar esse arquivo não afeta o que meus usuários veem.
Existe uma maneira de alterar o tamanho da fonte de saída que é nativo do próprio notebook e, portanto, sobreviveria sendo canalizado através do GitHub e do Binder?
Este é o Jupyter Notebook 5.4.0.
Responder1
Adicione isso a todos os notebooks como a ÚLTIMA célula. Como o javascript é usado, os usuários devem ter confiado nos notebooks.
%%javascript
$('.output_result').css('font-size', '5pt')
Responder2
Os usuários devem poder alterar o tamanho da fonte de acordo com suas capacidades visuais. Forneça aos usuários as instruções para instalar jupyter_contrib_nbextensions e ativar a extensão Code Font Size: https://github.com/ipython-contrib/jupyter_contrib_nbextensions