Warning: file_get_contents(/data/phpspider/zhask/data//catemap/7/css/37.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Css extjs删除panelheader和border之间的空间_Css_Extjs_Panel - Fatal编程技术网
Fatal编程技术网
  • css/
  • Css extjs删除panelheader和border之间的空间

Css extjs删除panelheader和border之间的空间

css extjs

Css extjs删除panelheader和border之间的空间,css,extjs,panel,Css,Extjs,Panel,面板标题和边框之间有一个很小的空白。 有人知道如何移除它吗 @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

面板标题和边框之间有一个很小的空白。 有人知道如何移除它吗

@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
))

您使用的是哪个ext版本？您使用的是哪个ext版本？