style "menu" {
#   engine "pixmap" {
#        image {
#            function        = BOX
#            file            = "menu/menu.png"
#            border          = { 20, 20, 20, 20 }
#            stretch         = TRUE
#        }
#    }
    xthickness = 10
    ythickness = 8
    GtkMenu::scroll-arrow-vlength = 64
}
