13693261870
2022-09-16 354b3dbfbffb3df45212a2a44dbbf48b4acc2594
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
<!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">.#{$prefix}panel,
.#{$prefix}plain {
    overflow: hidden;
    position: relative;
}
 
.#{$prefix}panel {
    outline: none;
}
 
@if $include-ie {
    // Workaround for disappearing right edge in IE6
    .#{$prefix}ie {
        .#{$prefix}panel-header,
        .#{$prefix}panel-header-tl,
        .#{$prefix}panel-header-tc,
        .#{$prefix}panel-header-tr,
        .#{$prefix}panel-header-ml,
        .#{$prefix}panel-header-mc,
        .#{$prefix}panel-header-mr,
        .#{$prefix}panel-header-bl,
        .#{$prefix}panel-header-bc,
        .#{$prefix}panel-header-br {
            zoom: 1;
        }
    }
    // Fix for IE8 clipping. EXTJSIV-1553
    .#{$prefix}ie8 {
        td.#{$prefix}frame-mc {
            vertical-align: top;
        }
    }
}
 
.#{$prefix}panel-body {
    overflow: hidden;
    position: relative;
}
 
@if not $supports-gradients or $compile-all {
    .#{$prefix}nlg .#{$prefix}panel-header-vertical {
        .#{$prefix}frame-mc {
            background-repeat: repeat-y;
        }
    }
}
 
.#{$prefix}panel-header-plain,
.#{$prefix}panel-body-plain {
    border: 0;
    padding: 0;
}</pre>
</body>
</html>