1
.bespin-completion-panel {
2
font-family: Helvetica, Arial, sans-serif;
6
-moz-user-select: none;
7
-webkit-user-select: none;
10
.bespin-completion-pointer {
17
.bespin-completion-pointer-up {
19
border-top: solid #555 1px;
20
border-left: solid #555 1px;
21
background-image: -moz-linear-gradient(top left, #333333, #333333 50%, transparent 50%, transparent);
22
background-image: -webkit-gradient(linear, left top, right bottom, from(#333333), color-stop(0.5, #333333), color-stop(0.5, transparent), to(transparent));
23
-moz-transform: rotate(45deg);
24
-webkit-transform: rotate(45deg);
27
.bespin-completion-pointer-down {
29
border-top: solid #000 1px;
30
border-left: solid #000 1px;
31
background-image: -moz-linear-gradient(top left, #000, #000 50%, transparent 50%, transparent);
32
background-image: -webkit-gradient(linear, left top, right bottom, from(#000), color-stop(0.5, #000), color-stop(0.5, transparent), to(transparent));
33
-moz-transform: rotate(225deg);
34
-webkit-transform: rotate(225deg);
37
.bespin-completion-bubble-outer {
40
margin: 11px 0px 11px 0px;
41
border-top: solid #555 1px;
42
-moz-border-radius: 8px;
43
-webkit-border-radius: 8px;
46
.bespin-completion-bubble-inner {
50
background: -moz-linear-gradient(top, #333333, #000000);
51
background: -webkit-gradient(linear, center top, center bottom, from(#333333), to(#000000));
54
-moz-border-radius: 8px;
55
-webkit-border-radius: 8px;
56
-moz-box-shadow: 0px 6px 16px 2px rgba(0, 0, 0, 0.5);
57
-webkit-box-shadow: 0px 6px 16px 2px rgba(0, 0, 0, 0.5);
60
.bespin-completion-panel ul {
66
.bespin-completion-panel li {
72
.bespin-completion-highlight {
75
background-image: -moz-linear-gradient(top, #3e59be, #312d80);
76
background-image: -webkit-gradient(linear, center top, center bottom, from(#3e59be), to(#312d80));
77
border: solid rgba(37, 34, 91, 1.0) 1px;
78
-moz-border-radius: 6px;
79
-webkit-border-radius: 6px;
82
.bespin-completion-kind {
90
margin: 0px 5px 0px 0px;
93
text-transform: uppercase;
95
-moz-border-radius: 3px;
96
-webkit-border-radius: 3px;
99
.bespin-completion-kind-m {
100
background-color: maroon;
103
.bespin-completion-kind-f {
104
background-color: green;
107
.bespin-completion-top-row {
111
.bespin-completion-second-row {
112
margin: 6px 0px 0px 17px;
116
.bespin-completion-ident {
120
.bespin-completion-container {