ホーム エクスプローラ ヘルプ
サインイン
lixinru
/
YtIoT
1
0
フォーク 0
ファイル 課題 0 プルリクエスト 0 Wiki
ツリー: 8f4784a444
ブランチ タグ
YtIoT
/
WebRoot
/
res
/
extjs
/
docs
/
source
/
_button.scss.html

_button.scss.html 9.4 KB
履歴 Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159 
  1. <!DOCTYPE html>
    2. 

  2. <html>
    3. 

  3. <head>
    4. 

  4.   <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
    5. 

  5.   <title>The source code</title>
    6. 

  6.   <link href="../resources/prettify/prettify.css" type="text/css" rel="stylesheet" />
    7. 

  7.   <script type="text/javascript" src="../resources/prettify/prettify.js"></script>
    8. 

  8.   <style type="text/css">
    9. 

  9.     .highlight { display: block; background-color: #ddd; }
    10. 

  10.   </style>
    11. 

  11.   <script type="text/javascript">
    12. 

  12.     function highlight() {
    13. 

  13.       document.getElementById(location.hash.replace(/#/, "")).className = "highlight";
    14. 

  14.     }
    15. 

  15.   </script>
    16. 

  16. </head>
    17. 

  17. <body onload="prettyPrint(); highlight();">
    18. 

  18.   <pre class="prettyprint lang-js">$button-arrow-size: 12px !default;
    19. 

  19. $button-split-size: 14px !default;
    20. 

  20. $button-icon-spacing: 4px !default;
    21. 

  21. 

  22. $button-small-border-radius: 3px !default;
    23. 

  23. $button-small-border-width: 1px !default;
    24. 

  24. $button-small-padding: 2px !default;
    25. 

  25. $button-small-text-padding: 4px;
    26. 

  26. $button-small-font-size: ceil($font-size * .9) !default; //11px
    27. 

  27. $button-small-font-size-over: $button-small-font-size !default;
    28. 

  28. $button-small-font-size-focus: $button-small-font-size-over !default;
    29. 

  29. $button-small-font-size-pressed: $button-small-font-size !default;
    30. 

  30. $button-small-font-size-disabled: $button-small-font-size !default;
    31. 

  31. $button-small-font-weight: normal !default;
    32. 

  32. $button-small-font-weight-over: $button-small-font-weight !default;
    33. 

  33. $button-small-font-weight-focus: $button-small-font-weight-over !default;
    34. 

  34. $button-small-font-weight-pressed: $button-small-font-weight !default;
    35. 

  35. $button-small-font-weight-disabled: $button-small-font-weight !default;
    36. 

  36. $button-small-font-family: $font-family !default;
    37. 

  37. $button-small-font-family-over: $button-small-font-family !default;
    38. 

  38. $button-small-font-family-focus: $button-small-font-family-over !default;
    39. 

  39. $button-small-font-family-pressed: $button-small-font-family !default;
    40. 

  40. $button-small-font-family-disabled: $button-small-font-family !default;
    41. 

  41. $button-small-icon-size: 16px !default;
    42. 

  42. 

  43. $button-medium-border-radius: 3px !default;
    44. 

  44. $button-medium-border-width: 1px !default;
    45. 

  45. $button-medium-padding: 3px !default;
    46. 

  46. $button-medium-text-padding: 3px !default;
    47. 

  47. $button-medium-font-size: ceil($font-size * .9) !default; //11px
    48. 

  48. $button-medium-font-size-over: $button-medium-font-size !default;
    49. 

  49. $button-medium-font-size-focus: $button-medium-font-size-over !default;
    50. 

  50. $button-medium-font-size-pressed: $button-medium-font-size !default;
    51. 

  51. $button-medium-font-size-disabled: $button-medium-font-size !default;
    52. 

  52. $button-medium-font-weight: normal !default;
    53. 

  53. $button-medium-font-weight-over: $button-medium-font-weight !default;
    54. 

  54. $button-medium-font-weight-focus: $button-medium-font-weight-over !default;
    55. 

  55. $button-medium-font-weight-pressed: $button-medium-font-weight !default;
    56. 

  56. $button-medium-font-weight-disabled: $button-medium-font-weight !default;
    57. 

  57. $button-medium-font-family: $font-family !default;
    58. 

  58. $button-medium-font-family-over: $button-medium-font-family !default;
    59. 

  59. $button-medium-font-family-focus: $button-medium-font-family-over !default;
    60. 

  60. $button-medium-font-family-pressed: $button-medium-font-family !default;
    61. 

  61. $button-medium-font-family-disabled: $button-medium-font-family !default;
    62. 

  62. $button-medium-icon-size: 24px !default;
    63. 

  63. 

  64. $button-large-border-radius: 3px !default;
    65. 

  65. $button-large-border-width: 1px !default;
    66. 

  66. $button-large-padding: 3px !default;
    67. 

  67. $button-large-text-padding: 3px !default;
    68. 

  68. $button-large-font-size: ceil($font-size * .9) !default; //11px
    69. 

  69. $button-large-font-size-over: $button-large-font-size !default;
    70. 

  70. $button-large-font-size-focus: $button-large-font-size-over !default;
    71. 

  71. $button-large-font-size-pressed: $button-large-font-size !default;
    72. 

  72. $button-large-font-size-disabled: $button-large-font-size !default;
    73. 

  73. $button-large-font-weight: normal !default;
    74. 

  74. $button-large-font-weight-over: $button-large-font-weight !default;
    75. 

  75. $button-large-font-weight-focus: $button-large-font-weight-over !default;
    76. 

  76. $button-large-font-weight-pressed: $button-large-font-weight !default;
    77. 

  77. $button-large-font-weight-disabled: $button-large-font-weight !default;
    78. 

  78. $button-large-font-family: $font-family !default;
    79. 

  79. $button-large-font-family-over: $button-large-font-family !default;
    80. 

  80. $button-large-font-family-focus: $button-large-font-family-over !default;
    81. 

  81. $button-large-font-family-pressed: $button-large-font-family !default;
    82. 

  82. $button-large-font-family-disabled: $button-large-font-family !default;
    83. 

  83. $button-large-icon-size: 32px !default;
    84. 

  84. 

  85. //base colors for the default button
    86. 

  86. $button-default-base-color: adjust-color($neutral-color, $hue: 0deg, $saturation: -55.556%, $lightness: 12.745%) !default; //F7F7F7
    87. 

  87. $button-default-base-color-over: adjust-color($base-color, $hue: -6.667deg, $saturation: 44.444%, $lightness: 10.588%) !default; //E4F3FF
    88. 

  88. $button-default-base-color-focus: $button-default-base-color-over !default;
    89. 

  89. $button-default-base-color-pressed: adjust-color($base-color, $hue: -0.725deg, $saturation: -9.556%, $lightness: -3.725%) !default; //B6CBE4
    90. 

  90. $button-default-base-color-disabled: adjust-color($base-color, $hue: 0deg, $saturation: -55.556%, $lightness: 12.745%) !default; //F7F7F7
    91. 

  91. 

  92. $button-default-border-color: adjust-color($button-default-base-color, $hue: 0deg, $saturation: 0%, $lightness: -18.039%) !default;
    93. 

  93. $button-default-border-color-over: adjust-color($button-default-base-color-over, $hue: 8.177deg, $saturation: -28.283%, $lightness: -12.745%) !default;
    94. 

  94. $button-default-border-color-focus: $button-default-border-color-over !default;
    95. 

  95. $button-default-border-color-pressed: adjust-color($button-default-base-color-pressed, $hue: 2.317deg, $saturation: 6.756%, $lightness: -5.294%) !default;
    96. 

  96. $button-default-border-color-disabled: adjust-color($button-default-base-color-disabled, $hue: 0deg, $saturation: 0%, $lightness: -8.627%) !default;
    97. 

  97. 

  98. $button-default-background-color: $button-default-base-color !default;
    99. 

  99. $button-default-background-color-over: $button-default-base-color-over !default;
    100. 

  100. $button-default-background-color-focus: $button-default-background-color-over !default;
    101. 

  101. $button-default-background-color-pressed: $button-default-base-color-pressed !default;
    102. 

  102. $button-default-background-color-disabled: $button-default-base-color-disabled !default;
    103. 

  103. 

  104. $button-default-background-gradient: 'glossy-button' !default;
    105. 

  105. $button-default-background-gradient-over: 'glossy-button-over' !default;
    106. 

  106. $button-default-background-gradient-focus: $button-default-background-gradient-over !default;
    107. 

  107. $button-default-background-gradient-pressed: 'glossy-button-pressed' !default;
    108. 

  108. $button-default-background-gradient-disabled: 'glossy-button-disabled' !default;
    109. 

  109. 

  110. $button-default-background-gradient-color-stops: null !default;
    111. 

  111. $button-default-background-gradient-color-stops-over: $button-default-background-gradient-color-stops !default;
    112. 

  112. $button-default-background-gradient-color-stops-focus: $button-default-background-gradient-color-stops-over !default;
    113. 

  113. $button-default-background-gradient-color-stops-pressed: $button-default-background-gradient-color-stops !default;
    114. 

  114. $button-default-background-gradient-color-stops-disabled: $button-default-background-gradient-color-stops !default;
    115. 

  115. 

  116. $button-default-color: #333 !default;
    117. 

  117. $button-default-color-over: $button-default-color !default;
    118. 

  118. $button-default-color-focus: $button-default-color-over !default;
    119. 

  119. $button-default-color-pressed: $button-default-color !default;
    120. 

  120. $button-default-color-disabled: lighten($button-default-color, 35) !default;
    121. 

  121. 

  122. // Toolbar buttons
    123. 

  123. $button-toolbar-arrow-size: 12px !default;
    124. 

  124. $button-toolbar-split-size: 12px !default;
    125. 

  125. 

  126. $button-toolbar-base-color: adjust-color($base-color, $hue: -213.333deg, $saturation: -55.556%, $lightness: 3.333%) !default;
    127. 

  127. 

  128. $button-toolbar-border-color: transparent !default;
    129. 

  129. $button-toolbar-border-color-over: adjust-color($base-color, $hue: 0.084deg, $saturation: -9.891%, $lightness: -18.039%) !default;
    130. 

  130. $button-toolbar-border-color-focus: $button-toolbar-border-color-over !default;
    131. 

  131. $button-toolbar-border-color-pressed: adjust-color($base-color, $hue: 0.721deg, $saturation: -17.014%, $lightness: -21.765%) !default;
    132. 

  132. $button-toolbar-border-color-disabled: transparent !default;
    133. 

  133. 

  134. $button-toolbar-background-color: transparent !default;
    135. 

  135. $button-toolbar-background-color-over: adjust-color($base-color, $hue: -5deg, $saturation: 44.444%, $lightness: 8.824%) !default;
    136. 

  136. $button-toolbar-background-color-focus: $button-toolbar-background-color-over !default;
    137. 

  137. $button-toolbar-background-color-pressed: adjust-color($base-color, $hue: -1.138deg, $saturation: -11.47%, $lightness: -2.353%) !default;
    138. 

  138. $button-toolbar-background-color-disabled: transparent !default;
    139. 

  139. 

  140. $button-toolbar-background-gradient: null !default;
    141. 

  141. $button-toolbar-background-gradient-over: 'glossy-button-over' !default;
    142. 

  142. $button-toolbar-background-gradient-focus: $button-toolbar-background-gradient-over !default;
    143. 

  143. $button-toolbar-background-gradient-pressed: 'glossy-button-pressed' !default;
    144. 

  144. $button-toolbar-background-gradient-disabled: null !default;
    145. 

  145. 

  146. $button-toolbar-background-gradient-color-stops: null !default;
    147. 

  147. $button-toolbar-background-gradient-color-stops-over: null !default;
    148. 

  148. $button-toolbar-background-gradient-color-stops-focus: $button-toolbar-background-gradient-color-stops-over !default;
    149. 

  149. $button-toolbar-background-gradient-color-stops-pressed: null !default;
    150. 

  150. $button-toolbar-background-gradient-color-stops-disabled: null !default;
    151. 

  151. 

  152. $button-toolbar-color: #333 !default;
    153. 

  153. $button-toolbar-color-over: $button-toolbar-color !default;
    154. 

  154. $button-toolbar-color-focus: $button-toolbar-color-over !default;
    155. 

  155. $button-toolbar-color-pressed: $button-toolbar-color !default;
    156. 

  156. $button-toolbar-color-disabled: lighten($button-toolbar-color, 35) !default;
    157. 

  157. </pre>
    158. 

  158. </body>
    159. 

  159. </html>
    160.