2012-01-02 21:46:40 +01:00
|
|
|
PopupMenuButton < UIButton
|
|
|
|
|
height: 18
|
|
|
|
|
margin-left: 3
|
|
|
|
|
margin-right: 3
|
2012-01-11 13:06:50 +01:00
|
|
|
font: verdana-11px-antialised
|
|
|
|
|
|
|
|
|
|
color: #aaaaaa
|
2012-01-10 23:13:40 +01:00
|
|
|
background-color: alpha
|
2012-01-02 21:46:40 +01:00
|
|
|
|
2012-02-06 02:44:47 +01:00
|
|
|
$hover !disabled:
|
2012-01-02 21:46:40 +01:00
|
|
|
color: #ffffff
|
|
|
|
|
background-color: #ffffff44
|
|
|
|
|
|
|
|
|
|
$disabled:
|
|
|
|
|
color: #555555
|
|
|
|
|
|
|
|
|
|
PopupMenuSeparator < UIWidget
|
|
|
|
|
margin-left: 2
|
|
|
|
|
margin-right: 2
|
2012-06-20 09:10:12 +02:00
|
|
|
image-source: /images/menubox.png
|
2012-01-10 23:13:40 +01:00
|
|
|
image-border-left: 1
|
|
|
|
|
image-border-right: 1
|
|
|
|
|
image-clip: 0 0 32 2
|
2012-01-05 19:02:27 +01:00
|
|
|
height: 2
|
2012-01-02 21:46:40 +01:00
|
|
|
phantom: true
|
|
|
|
|
|
|
|
|
|
PopupMenu < UIPopupMenu
|
2012-01-04 12:24:29 +01:00
|
|
|
width: 50
|
2012-06-20 09:10:12 +02:00
|
|
|
image-source: /images/menubox.png
|
2012-01-11 13:06:50 +01:00
|
|
|
image-border: 3
|
|
|
|
|
padding-top: 3
|
2012-02-06 02:44:47 +01:00
|
|
|
padding-bottom: 3
|
