_tool.scss.html 6.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309
  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">@mixin extjs-tool {
  19. .#{$prefix}tool {
  20. height: $tool-size;
  21. img {
  22. overflow: hidden;
  23. width: $tool-size;
  24. height: $tool-size;
  25. cursor: pointer;
  26. background-color: transparent;
  27. background-repeat: no-repeat;
  28. background-image: theme-background-image($theme-name, 'tools/tool-sprites.gif');
  29. margin: 0;
  30. }
  31. }
  32. .#{$prefix}panel-header-horizontal,
  33. .#{$prefix}window-header-horizontal {
  34. .#{$prefix}tool {
  35. margin-left: 2px;
  36. }
  37. }
  38. .#{$prefix}panel-header-vertical,
  39. .#{$prefix}window-header-vertical {
  40. .#{$prefix}tool {
  41. margin-top: 2px;
  42. }
  43. }
  44. .#{$prefix}panel-header-vertical,
  45. .#{$prefix}window-header-vertical {
  46. // this assumes that there will only ever be one tool that shows at the top of a vertical header (the collapse tool)
  47. // we should revisit this if it is decided that we want to support multiple tools at the top
  48. .#{$prefix}tool-top {
  49. margin: 0 0 4px;
  50. }
  51. }
  52. .#{$prefix}tool-placeholder {
  53. visibility: hidden;
  54. }
  55. .#{$prefix}tool-toggle {
  56. background-position: 0 -60px;
  57. }
  58. .#{$prefix}tool-over {
  59. .#{$prefix}tool-toggle {
  60. background-position: -15px -60px;
  61. }
  62. }
  63. .#{$prefix}panel-collapsed,
  64. .#{$prefix}fieldset-collapsed {
  65. .#{$prefix}tool-toggle {
  66. background-position: 0 -75px;
  67. }
  68. .#{$prefix}tool-over {
  69. .#{$prefix}tool-toggle {
  70. background-position: -15px -75px;
  71. }
  72. }
  73. }
  74. .#{$prefix}tool-close {
  75. background-position: 0 0;
  76. }
  77. .#{$prefix}tool-minimize {
  78. background-position: 0 -15px;
  79. }
  80. .#{$prefix}tool-maximize {
  81. background-position: 0 -30px;
  82. }
  83. .#{$prefix}tool-restore {
  84. background-position: 0 -45px;
  85. }
  86. .#{$prefix}tool-gear {
  87. background-position: 0 -90px;
  88. }
  89. .#{$prefix}tool-prev {
  90. background-position: 0 -105px;
  91. }
  92. .#{$prefix}tool-next {
  93. background-position: 0 -120px;
  94. }
  95. .#{$prefix}tool-pin {
  96. background-position: 0 -135px;
  97. }
  98. .#{$prefix}tool-unpin {
  99. background-position: 0 -150px;
  100. }
  101. .#{$prefix}tool-right {
  102. background-position: 0 -165px;
  103. }
  104. .#{$prefix}tool-left {
  105. background-position: 0 -180px;
  106. }
  107. .#{$prefix}tool-help {
  108. background-position: 0 -300px;
  109. }
  110. .#{$prefix}tool-save {
  111. background-position: 0 -285px;
  112. }
  113. .#{$prefix}tool-search {
  114. background-position: 0 -270px;
  115. }
  116. .#{$prefix}tool-minus {
  117. background-position: 0 -255px;
  118. }
  119. .#{$prefix}tool-plus {
  120. background-position: 0 -240px;
  121. }
  122. .#{$prefix}tool-refresh {
  123. background-position: 0 -225px;
  124. }
  125. .#{$prefix}tool-up {
  126. background-position: 0 -210px;
  127. }
  128. .#{$prefix}tool-down {
  129. background-position: 0 -195px;
  130. }
  131. .#{$prefix}tool-collapse {
  132. background-position: 0 -345px;
  133. }
  134. .#{$prefix}tool-expand {
  135. background-position: 0 -330px;
  136. }
  137. .#{$prefix}tool-print {
  138. background-position: 0 -315px;
  139. }
  140. .#{$prefix}tool-expand-bottom,
  141. .#{$prefix}tool-collapse-bottom {
  142. background-position: 0 -195px;
  143. }
  144. .#{$prefix}tool-expand-top,
  145. .#{$prefix}tool-collapse-top {
  146. background-position: 0 -210px;
  147. }
  148. .#{$prefix}tool-expand-left,
  149. .#{$prefix}tool-collapse-left {
  150. background-position: 0 -180px;
  151. }
  152. .#{$prefix}tool-expand-right,
  153. .#{$prefix}tool-collapse-right {
  154. background-position: 0 -165px;
  155. }
  156. .#{$prefix}tool-over {
  157. .#{$prefix}tool-close {
  158. background-position: -15px 0;
  159. }
  160. .#{$prefix}tool-minimize {
  161. background-position: -15px -15px;
  162. }
  163. .#{$prefix}tool-maximize {
  164. background-position: -15px -30px;
  165. }
  166. .#{$prefix}tool-restore {
  167. background-position: -15px -45px;
  168. }
  169. .#{$prefix}tool-gear {
  170. background-position: -15px -90px;
  171. }
  172. .#{$prefix}tool-prev {
  173. background-position: -15px -105px;
  174. }
  175. .#{$prefix}tool-next {
  176. background-position: -15px -120px;
  177. }
  178. .#{$prefix}tool-pin {
  179. background-position: -15px -135px;
  180. }
  181. .#{$prefix}tool-unpin {
  182. background-position: -15px -150px;
  183. }
  184. .#{$prefix}tool-right {
  185. background-position: -15px -165px;
  186. }
  187. .#{$prefix}tool-left {
  188. background-position: -15px -180px;
  189. }
  190. .#{$prefix}tool-down {
  191. background-position: -15px -195px;
  192. }
  193. .#{$prefix}tool-up {
  194. background-position: -15px -210px;
  195. }
  196. .#{$prefix}tool-refresh {
  197. background-position: -15px -225px;
  198. }
  199. .#{$prefix}tool-plus {
  200. background-position: -15px -240px;
  201. }
  202. .#{$prefix}tool-minus {
  203. background-position: -15px -255px;
  204. }
  205. .#{$prefix}tool-search {
  206. background-position: -15px -270px;
  207. }
  208. .#{$prefix}tool-save {
  209. background-position: -15px -285px;
  210. }
  211. .#{$prefix}tool-help {
  212. background-position: -15px -300px;
  213. }
  214. .#{$prefix}tool-print {
  215. background-position: -15px -315px;
  216. }
  217. .#{$prefix}tool-expand {
  218. background-position: -15px -330px;
  219. }
  220. .#{$prefix}tool-collapse {
  221. background-position: -15px -345px;
  222. }
  223. .#{$prefix}tool-expand-bottom,
  224. .#{$prefix}tool-collapse-bottom {
  225. background-position: -15px -195px;
  226. }
  227. .#{$prefix}tool-expand-top,
  228. .#{$prefix}tool-collapse-top {
  229. background-position: -15px -210px;
  230. }
  231. .#{$prefix}tool-expand-left,
  232. .#{$prefix}tool-collapse-left {
  233. background-position: -15px -180px;
  234. }
  235. .#{$prefix}tool-expand-right,
  236. .#{$prefix}tool-collapse-right {
  237. background-position: -15px -165px;
  238. }
  239. }
  240. }
  241. </pre>
  242. </body>
  243. </html>