er.png"       border = { 0, 0, 0, 0 }       stretch = TRUE     }      image {       function = BOX       state = ACTIVE       file = "assets/button-active.png"       border = { 0, 0, 0, 0 }       stretch = TRUE     }      image {       function = BOX       state = INSENSITIVE       file = "assets/button-insensitive.png"       border = { 0, 0, 0, 0 }       stretch = TRUE     }   } }  style "