<!DOCTYPE html>
|
<html>
|
<head>
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
|
<title>The source code</title>
|
<link href="../resources/prettify/prettify.css" type="text/css" rel="stylesheet" />
|
<script type="text/javascript" src="../resources/prettify/prettify.js"></script>
|
<style type="text/css">
|
.highlight { display: block; background-color: #ddd; }
|
</style>
|
<script type="text/javascript">
|
function highlight() {
|
document.getElementById(location.hash.replace(/#/, "")).className = "highlight";
|
}
|
</script>
|
</head>
|
<body onload="prettyPrint(); highlight();">
|
<pre class="prettyprint lang-js"><span id='Ext-grid-column-Column'>/**
|
</span> * @class Ext.grid.column.Column
|
*/
|
|
<span id='Ext-grid-column-Column-css_var-S-grid-column-header-font-family'>/**
|
</span> * @var {string}
|
* The font-family of grid column headers
|
*/
|
$grid-column-header-font-family: $font-family !default;
|
|
<span id='Ext-grid-column-Column-css_var-S-grid-column-header-font-size'>/**
|
</span> * @var {number}
|
* The font-size of grid column headers
|
*/
|
$grid-column-header-font-size: $font-size !default;
|
|
<span id='Ext-grid-column-Column-css_var-S-grid-column-header-font-weight'>/**
|
</span> * @var {string}
|
* The font-weight of grid column headers
|
*/
|
$grid-column-header-font-weight: normal !default;
|
|
<span id='Ext-grid-column-Column-css_var-S-grid-column-header-line-height'>/**
|
</span> * @var {number}
|
* The line-height of grid column headers
|
*/
|
$grid-column-header-line-height: round($grid-row-cell-font-size * 1.15) !default;
|
|
// private
|
$grid-column-header-font: $grid-column-header-font-weight #{$grid-column-header-font-size}/#{$grid-column-header-line-height} $grid-column-header-font-family !default;
|
|
<span id='Ext-grid-column-Column-css_var-S-grid-column-header-color'>/**
|
</span> * @var {color}
|
* The text color of grid column headers
|
*/
|
$grid-column-header-color: #000 !default;
|
|
<span id='Ext-grid-column-Column-css_var-S-grid-column-header-border-width'>/**
|
</span> * @var {number}
|
* The border-width of grid column headers
|
*/
|
$grid-column-header-border-width: 1px !default;
|
|
<span id='Ext-grid-column-Column-css_var-S-grid-column-header-border-style'>/**
|
</span> * @var {string}
|
* The border-style of grid column headers
|
*/
|
$grid-column-header-border-style: solid !default;
|
|
// private
|
$grid-header-height: $grid-column-header-line-height + vertical($grid-header-padding);</pre>
|
</body>
|
</html>
|
