extjs删除panelheader和border之间的空格

Question

面板标题和边框之间有这个微小的空白区域。 有谁知道如何删除它？

@include extjs-panel-ui(
$ui: 'dark',
//$ui-header-background-color: #242c7e,
$ui-border-color: #242c7e,
//$ui-header-border-color: #242c7e,
//$ui-body-border-color: #242c7e,
$ui-border-width: 3px,
$ui-border-radius: 3px
//$ui-header-color: white

）;