echarts dataZoom 中边框线条粗细怎么调？

修改的时候发现可以修改border颜色，却没有找到修改border粗细的
屏幕变大的时候就线条就变得很细，不美观，请问大伙是修改哪个参数的？

参考GPT和自己的思路：

您可以通过修改echarts dataZoom组件的borderWidth属性来调整边框线条的粗细。您可以尝试增大borderWidth的数值来使线条更宽，使其在屏幕放大时更美观。例如：

dataZoom: {
    type: 'slider',
    xAxisIndex: 0,
    filterMode: 'empty',
    height: 20,
    borderColor: '#ccc',
    borderWidth: 2 //修改这里即可
}