Je pense que la largeur de la police devient de plus en plus frustrante lors de l'utilisation de jupyter.
J'ai fait de mon mieux pour lui donner la même largeur, alors prenez-en note. Le système d'exploitation est Mac.
On m'a dit d'éditer ici d'abord quand je suis allé. Mais ça n'a pas marché.
J'y ai pensé. "Je l'ai mis dans pyenv, donc ce n'est pas ici, non?" Quoi?
Alors je suis devenu accro à partir de là.
J'ai essayé diverses choses. .. ..
Par conséquent.
Le désordre final était ~ / .jupyter / custom / custom.css! !!
Mais le temps que j'arrive ici,
pip install jupyterthemes
pip install --upgrade jupyterthemes
jt -t onedork -f inconsolata -T -N -cellw 90% -tfs 11
Je le frappais. (Il était écrit que si vous recherchiez sur Google, ce serait une bonne impression)
Je pensais que c'était tout ce que je pouvais faire.
En fait, le thème a changé et ça a l'air vraiment cool, "Euh! C'est définitivement une police ... n'est-ce pas guéri?!"
Oui.
Alors ici encore
~/.jupyter/custom/custom.css
J'ai essayé de regarder.
Ensuite, même s'il était vide il y a quelque temps, quelque chose d'étonnant est écrit! !! Je pense que le thème a été appliqué en appuyant sur la «commande jt» plus tôt.
Oui, j'ai remarqué que le css ici est chargé même si je le mets dans pyenv ici.
Donc, après avoir recherché diverses choses,
・ Il semble que div.CodeMirror soit la partie où le code est écrit.
・ Il semble que si vous mettez un monospace, ce sera la même largeur.
Parce que c'était écrit
~/.jupyter/custom/custom.css
À l'intérieur,
div.CodeMirror
Quand j'ai essayé de rechercher avec, ...
custom.css
div.CodeMirror pre {
font-family: "Inconsolata-g", monospace, monospace;
font-size: 11pt;
line-height: 170%;
color: #b5c2d9;
}
Il y avait! !! !!
Je veux dire, il s'agit de monospace! Et deux!
Je me suis demandé pourquoi, et quand j'ai essayé de vérifier l'élément avec Firefox (je suis désolé ce n'est pas chrome), cet attribut a certainement une ligne d'annulation ...
À la suite de diverses enquêtes dans.
custom.css
div.CodeMirror pre {
font-family: "Inconsolata-g", monospace, monospace !important;
font-size: 11pt !important;
line-height: 170% !important;
color: #b5c2d9 !important;
}
J'ai pu ajouter ! Important! !! !!
Je suis heureux.
Je ne l'ai pas essayé, mais sachez que custom.css sera probablement écrasé chaque fois que vous appliquerez le thème.
De plus, si vous ne voulez pas écrire de thème, je ne sais pas car je n'ai pas essayé cela non plus, mais dans le css ci-dessus (sinon, créez-en un)
custom.css
div.CodeMirror pre {
font-family: "Inconsolata-g", monospace, monospace !important;
font-size: 11pt !important;
line-height: 170% !important;
color: #b5c2d9 !important;
}
Je pense que je devrais écrire. Peut-être que la partie "Inconsolata-g" peut être n'importe quelle police que vous aimez ...
Recommended Posts