面板标题和边框之间有这个微小的空白区域。 有谁知道如何删除它?
@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
);