2012-01-02 21:46:40 +01:00
|
|
|
PopupMenuButton < UIButton
|
|
|
|
font: verdana-11px-antialised
|
|
|
|
background-color: alpha
|
|
|
|
color: #aaaaaa
|
|
|
|
height: 18
|
|
|
|
margin-left: 3
|
|
|
|
margin-right: 3
|
|
|
|
|
|
|
|
image:
|
|
|
|
source: /core_styles/images/empty_rect.png
|
|
|
|
repeated: true
|
|
|
|
|
|
|
|
$hover:
|
|
|
|
color: #ffffff
|
|
|
|
background-color: #ffffff44
|
|
|
|
|
|
|
|
$disabled:
|
|
|
|
color: #555555
|
|
|
|
|
2012-01-02 23:09:49 +01:00
|
|
|
$first:
|
|
|
|
margin-top: 3
|
2012-01-02 21:46:40 +01:00
|
|
|
|
2012-01-02 23:09:49 +01:00
|
|
|
$last:
|
|
|
|
margin-bottom: 3
|
2012-01-02 21:46:40 +01:00
|
|
|
|
|
|
|
PopupMenuSeparator < UIWidget
|
|
|
|
margin-left: 2
|
|
|
|
margin-right: 2
|
|
|
|
image:
|
|
|
|
source: /core_styles/images/menubox.png
|
|
|
|
repeated: true
|
|
|
|
coords: 3 0 26 3
|
|
|
|
height: 3
|
|
|
|
phantom: true
|
|
|
|
|
|
|
|
PopupMenu < UIPopupMenu
|
|
|
|
width: 100
|
|
|
|
border-image:
|
|
|
|
source: /core_styles/images/menubox.png
|
|
|
|
border: 3
|