| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596 | <!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-dragdrop {    // Must always be on top    .#{$prefix}dd-drag-proxy {        z-index: 1000000!important;    }        .#{$prefix}dd-drag-repair {        .#{$prefix}dd-drag-ghost {            @include opacity(.6);        }        .#{$prefix}dd-drop-icon {            display: none;        }    }    .#{$prefix}dd-drag-ghost {        @include opacity(.85);                padding: 5px;        padding-left: 20px;                white-space: nowrap;                color: #000;        font: normal ceil($font-size * .9) $font-family;                border: 1px solid;        border-color: #ddd #bbb #bbb #ddd;                background-color: #fff;    }    .#{$prefix}dd-drop-icon {        position: absolute;        top: 3px;        left: 3px;                display: block;                width: 16px;        height: 16px;                background-color: transparent;        background-position:  center;        background-repeat:  no-repeat;                z-index: 1;    }    .#{$prefix}view-selector {        position: absolute;        left: 0;        top: 0;                width: 0;                background-color: #c3daf9;        border: 1px dotted #3399bb;                    @include opacity(.5);                zoom: 1;    }        .#{$prefix}dd-drop-nodrop .#{$prefix}dd-drop-icon {        background-image: theme-background-image($theme-name, 'dd/drop-no.gif');    }    .#{$prefix}dd-drop-ok .#{$prefix}dd-drop-icon {        background-image: theme-background-image($theme-name, 'dd/drop-yes.gif');    }    .#{$prefix}dd-drop-ok-add .#{$prefix}dd-drop-icon {        background-image: theme-background-image($theme-name, 'dd/drop-add.gif');    }}</pre></body></html>
 |