更改 ipywidget.textarea 中的字体大小答案

【问题标题】：Change font-size in ipywidget.textarea更改 ipywidget.textarea 中的字体大小
【发布时间】：2020-07-01 15:59:46
【问题描述】：

根据这个Monospace in ipywidgets.Textarea?，我能够更改我的文本区域的字体。但是没有办法改变字体大小。请问你知道方法吗？好像font-size没有效果。

参考下面的代码：

from IPython.display import display
display(HTML("<style>textarea, input { font-family: Arial, Helvetica, sans-serif; font-size: 20px; }</style>"))

from ipywidgets import Textarea
Textarea('The world is bigger than you.')

谢谢，哈德里安

【问题讨论】：

标签： jupyter ipywidgets

【解决方案1】：

font-size 属性被--jp-ui-font-size1 从:root 覆盖，所以你应该更新这个。将它与一些 ipython 魔法结合起来：

%%html
<style>
textarea, input {
    font-family: Arial, Helvetica, sans-serif;
}
:root {
    --jp-ui-font-size1: 20px;
}
</style>

【讨论】：