散景 - 我们可以更改标签标题的字体并减少标签的宽度/高度

Question

我们可以更改标签标题上的文字字体系列。 （即＆＃39; circle＆＃39; line＆＃39;？还想知道我们是否可以更改这些标签的高度/宽度。因为我有大约10个标签并且它正在服用很多空间。

from bokeh.models.widgets import Panel, Tabs
from bokeh.io import output_file, show
from bokeh.plotting import figure

output_file("slider.html")

p1 = figure(plot_width=300, plot_height=300)
p1.circle([1, 2, 3, 4, 5], [6, 7, 2, 4, 5], size=20, color="navy", alpha=0.5)
tab1 = Panel(child=p1, title="circle")
p2 = figure(plot_width=300, plot_height=300)
p2.line([1, 2, 3, 4, 5], [6, 7, 2, 4, 5], line_width=3, color="navy", alpha=0.5)
tab2 = Panel(child=p2, title="line") 
tabs = Tabs(tabs=[ tab1, tab2 ])
show(tabs)