_grid.scss.html 5.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129
  1. <!DOCTYPE html>
  2. <html>
  3. <head>
  4. <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
  5. <title>The source code</title>
  6. <link href="../resources/prettify/prettify.css" type="text/css" rel="stylesheet" />
  7. <script type="text/javascript" src="../resources/prettify/prettify.js"></script>
  8. <style type="text/css">
  9. .highlight { display: block; background-color: #ddd; }
  10. </style>
  11. <script type="text/javascript">
  12. function highlight() {
  13. document.getElementById(location.hash.replace(/#/, "")).className = "highlight";
  14. }
  15. </script>
  16. </head>
  17. <body onload="prettyPrint(); highlight();">
  18. <pre class="prettyprint lang-js">// ===============================
  19. // ========= GRID BASE ===========
  20. // ===============================
  21. $grid-base-color: $base-color !default;
  22. // ===============================
  23. // ========= GRID HEADER =========
  24. // ===============================
  25. $grid-header-background-color: adjust-color($neutral-color, $hue: 0deg, $saturation: 0%, $lightness: -16.078%) !default;
  26. $grid-header-background-gradient: 'grid-header' !default;
  27. $grid-header-border-color: $neutral-color !default;
  28. $grid-header-over-border-color: adjust-color($base-color, $hue: -0.175deg, $saturation: 25.296%, $lightness: -2.549%) !default;
  29. $grid-header-over-background-color: $grid-header-over-border-color !default;
  30. $grid-header-over-background-gradient: 'grid-header-over' !default;
  31. $grid-header-background-color: $grid-base-color !default;
  32. $grid-header-line-height: 15px !default;
  33. $grid-header-padding: 3px 6px 4px !default;
  34. $grid-header-trigger-height: 22px !default;
  35. $grid-header-trigger-width: 14px !default;
  36. $grid-header-color: null !default;
  37. // ===============================
  38. // ========= GRID ROWS ===========
  39. // ===============================
  40. $grid-row-height: 20px !default;
  41. $grid-row-cell-color: null !default;
  42. $grid-row-cell-font-size: ceil($font-size * .9) !default;
  43. $grid-row-cell-line-height: $grid-row-cell-font-size + 4 !default;
  44. $grid-row-cell-font: normal #{$grid-row-cell-font-size}/#{$grid-row-cell-line-height} $font-family !default;
  45. //$grid-row-padding: 0 1px !default;
  46. //row wrap
  47. $grid-row-wrap-border-color: #ededed !default;
  48. $grid-row-wrap-border-width: 1px 0 !default;
  49. $grid-row-wrap-border-style: solid !default;
  50. //row body
  51. $grid-row-body-font: normal 11px/13px $font-family !default;
  52. $grid-row-body-padding: 4px !default;
  53. //row cell
  54. $grid-row-cell-background: #fff !default;
  55. $grid-row-cell-border-color: $grid-row-wrap-border-color !default;
  56. $grid-row-cell-border-style: solid !default;
  57. $grid-row-cell-border-width: 1px 0 !default;
  58. //row cell alt
  59. $grid-row-cell-alt-background: darken($grid-row-cell-background, 2) !default;
  60. //row cell over
  61. $grid-row-cell-over-border-color: adjust-color($neutral-color, $hue: 0deg, $saturation: 0%, $lightness: -6.667%) !default;
  62. $grid-row-cell-over-background-color: adjust-color($neutral-color, $hue: 0deg, $saturation: 0%, $lightness: 0.392%) !default;
  63. $grid-row-cell-over-background-gradient: 'grid-row-over' !default;
  64. //row cell selected
  65. $grid-row-cell-selected-border-style: dotted !default;
  66. $grid-row-cell-selected-border-color: adjust-color($base-color, $hue: 6.952deg, $saturation: 5.848%, $lightness: -6.471%) !default;
  67. $grid-row-cell-selected-background-color: adjust-color($base-color, $hue: 3.188deg, $saturation: 0.542%, $lightness: 7.843%) !default;
  68. //row cell focus
  69. $grid-row-cell-focus-border-color: adjust-color($neutral-color, $hue: 0deg, $saturation: 0%, $lightness: -6.667%) !default;
  70. $grid-row-cell-focus-background-color: adjust-color($neutral-color, $hue: 0deg, $saturation: 0%, $lightness: 0.392%) !default;
  71. $grid-row-cell-focus-background-gradient: 'grid-row-over' !default;
  72. //standard cells
  73. $grid-cell-inner-padding-top: 2px !default;
  74. $grid-cell-inner-padding-horizontal: 6px !default;
  75. $grid-cell-inner-padding-bottom: 3px !default;
  76. //special cell
  77. $grid-cell-special-over-background-color: adjust-color($base-color, $hue: -0.476deg, $saturation: 25.214%, $lightness: 5.686%) !default;
  78. //cell with col lines
  79. $grid-cell-with-col-lines-border-color: adjust-color($base-color, $hue: 0deg, $saturation: -55.556%, $lightness: -2.549%) !default;
  80. // ===============================
  81. // ======== GROUPED GRID =========
  82. // ===============================
  83. $grid-grouped-header-background-color: #fff !default;
  84. $grid-grouped-header-border-width: 0 0 2px 0 !default;
  85. $grid-grouped-header-border-style: solid !default;
  86. $grid-grouped-header-border-color: adjust-color($base-color, $hue: 0.844deg, $saturation: 7.644%, $lightness: -8.627%) !default;
  87. $grid-grouped-header-padding: 6px 0 0 0 !default;
  88. $grid-grouped-title-color: adjust-color($base-color, $hue: 0.952deg, $saturation: -6.718%, $lightness: -41.961%) !default;
  89. $grid-grouped-title-font: bold ceil($font-size * .9) $font-family !default;
  90. $grid-grouped-title-padding: 4px 4px 4px 17px !default;
  91. // ===============================
  92. // ========= EDITOR ==========
  93. // ===============================
  94. $grid-editor-line-height: $grid-row-height - 5 !default;
  95. $grid-editor-font: normal #{$grid-row-cell-font-size}/#{$grid-editor-line-height} $font-family !default;
  96. // ===============================
  97. // ========= ROW EDITOR ==========
  98. // ===============================
  99. $grid-row-editor-background-color: adjust-color($base-color, $hue: 1deg, $saturation: 11%, $lightness: 11%) !default;
  100. $grid-row-editor-border-color: $panel-border-color !default;
  101. $grid-row-editor-border-width: 1px !default;
  102. $grid-row-editor-border: $grid-row-editor-border-width solid $grid-row-editor-border-color !important !default;
  103. $grid-row-editor-field-padding-horizontal: 2px !default;
  104. $grid-row-editor-cb-wrap-padding-top: 0 !default;
  105. $grid-row-editor-checkbox-margin-left: -4px !default;
  106. // ===============================
  107. // ========= CELL EDITOR =========
  108. // ===============================
  109. $grid-cell-editor-field-padding-horizontal: 4px !default;
  110. $grid-cell-editor-checkbox-padding-top: 3px !default;</pre>
  111. </body>
  112. </html>