user010

建议增加标签的一些设定。

可以选择非当前标签字体的颜色

可以加粗当前标签的字体。

这对于屏幕对比度不够高的使用者来说是有好处的。