lixinru
/
YtIoT


			
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309
							<!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">@mixin extjs-tool {
    .#{$prefix}tool {
        height: $tool-size;

        img {
            overflow: hidden;

            width: $tool-size;
            height: $tool-size;

            cursor: pointer;

            background-color: transparent;
            background-repeat: no-repeat;
            background-image: theme-background-image($theme-name, 'tools/tool-sprites.gif');

            margin: 0;
        }
    }

    .#{$prefix}panel-header-horizontal,
    .#{$prefix}window-header-horizontal {
        .#{$prefix}tool {
                margin-left: 2px;
        }
    }

    .#{$prefix}panel-header-vertical,
    .#{$prefix}window-header-vertical {
        .#{$prefix}tool {
                margin-top: 2px;
        }
    }

    .#{$prefix}panel-header-vertical,
    .#{$prefix}window-header-vertical {
        // this assumes that there will only ever be one tool that shows at the top of a vertical header (the collapse tool)
        // we should revisit this if it is decided that we want to support multiple tools at the top
        .#{$prefix}tool-top {
            margin: 0 0 4px;
        }
    }


.#{$prefix}tool-placeholder {
        visibility: hidden;
    }

    .#{$prefix}tool-toggle {
        background-position: 0 -60px;
    }

    .#{$prefix}tool-over {
        .#{$prefix}tool-toggle {
            background-position: -15px -60px;
        }
    }

    .#{$prefix}panel-collapsed,
    .#{$prefix}fieldset-collapsed {
        .#{$prefix}tool-toggle {
            background-position: 0 -75px;
        }

        .#{$prefix}tool-over {
            .#{$prefix}tool-toggle {
                background-position: -15px -75px;
            }
        }
    }

    .#{$prefix}tool-close {
        background-position: 0 0;
    }
    
    .#{$prefix}tool-minimize {
        background-position: 0 -15px;
    }
    
    .#{$prefix}tool-maximize {
        background-position: 0 -30px;
    }
    
    .#{$prefix}tool-restore {
        background-position: 0 -45px;
    }
    
    .#{$prefix}tool-gear {
        background-position: 0 -90px;
    }
    
    .#{$prefix}tool-prev {
        background-position: 0 -105px;
    }
    
    .#{$prefix}tool-next {
        background-position: 0 -120px;
    }
    
    .#{$prefix}tool-pin {
        background-position: 0 -135px;
    }

    .#{$prefix}tool-unpin {
        background-position: 0 -150px;
    }

    .#{$prefix}tool-right {
        background-position: 0 -165px;
    }

    .#{$prefix}tool-left {
        background-position: 0 -180px;
    }
    
    .#{$prefix}tool-help {
        background-position: 0 -300px;
    }

    .#{$prefix}tool-save {
        background-position: 0 -285px;
    }

    .#{$prefix}tool-search {
        background-position: 0 -270px;
    }

    .#{$prefix}tool-minus {
        background-position: 0 -255px;
    }

    .#{$prefix}tool-plus {
        background-position: 0 -240px;
    }

    .#{$prefix}tool-refresh {
        background-position: 0 -225px;
    }

    .#{$prefix}tool-up {
        background-position: 0 -210px;
    }

    .#{$prefix}tool-down {
        background-position: 0 -195px;
    }
    
    .#{$prefix}tool-collapse {
        background-position: 0 -345px;
    }

    .#{$prefix}tool-expand {
        background-position: 0 -330px;
    }

    .#{$prefix}tool-print {
        background-position: 0 -315px;
    }

    .#{$prefix}tool-expand-bottom,
    .#{$prefix}tool-collapse-bottom {
        background-position: 0 -195px;
    }

    .#{$prefix}tool-expand-top,
    .#{$prefix}tool-collapse-top {
        background-position: 0 -210px;
    }

    .#{$prefix}tool-expand-left,
    .#{$prefix}tool-collapse-left {
        background-position: 0 -180px;
    }

    .#{$prefix}tool-expand-right,
    .#{$prefix}tool-collapse-right {
        background-position: 0 -165px;
    }

    .#{$prefix}tool-over {
        .#{$prefix}tool-close {
            background-position: -15px 0;
        }

        .#{$prefix}tool-minimize {
            background-position: -15px -15px;
        }
    
        .#{$prefix}tool-maximize {
            background-position: -15px -30px;
        }

        .#{$prefix}tool-restore {
            background-position: -15px -45px;
        }
    
        .#{$prefix}tool-gear {
            background-position: -15px -90px;
        }
    
        .#{$prefix}tool-prev {
            background-position: -15px -105px;
        }
    
        .#{$prefix}tool-next {
            background-position: -15px -120px;
        }
    
        .#{$prefix}tool-pin {
            background-position: -15px -135px;
        }
    
        .#{$prefix}tool-unpin {
            background-position: -15px -150px;
        }
    
        .#{$prefix}tool-right {
            background-position: -15px -165px;
        }
    
        .#{$prefix}tool-left {
            background-position: -15px -180px;
        }

        .#{$prefix}tool-down {
            background-position: -15px -195px;
        }
    
        .#{$prefix}tool-up {
            background-position: -15px -210px;
        }
    
        .#{$prefix}tool-refresh {
            background-position: -15px -225px;
        }
    
        .#{$prefix}tool-plus {
            background-position: -15px -240px;
        }

        .#{$prefix}tool-minus {
            background-position: -15px -255px;
        }

        .#{$prefix}tool-search {
            background-position: -15px -270px;
        }

        .#{$prefix}tool-save {
            background-position: -15px -285px;
        }

        .#{$prefix}tool-help {
            background-position: -15px -300px;
        }

        .#{$prefix}tool-print {
            background-position: -15px -315px;
        }

        .#{$prefix}tool-expand {
            background-position: -15px -330px;
        }

        .#{$prefix}tool-collapse {
            background-position: -15px -345px;
        }
        
        .#{$prefix}tool-expand-bottom,
        .#{$prefix}tool-collapse-bottom {
            background-position: -15px -195px;
        }
    
        .#{$prefix}tool-expand-top,
        .#{$prefix}tool-collapse-top {
            background-position: -15px -210px;
        }
    
        .#{$prefix}tool-expand-left,
        .#{$prefix}tool-collapse-left {
            background-position: -15px -180px;
        }
    
        .#{$prefix}tool-expand-right,
        .#{$prefix}tool-collapse-right {
            background-position: -15px -165px;
        }
    }
}
</pre>
</body>
</html>