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>
|