e" {    engine "pixmap" {      image {       function = BOX       detail = "trough-upper"       file = "assets/trough-horizontal.png"       border = { 0, 0, 0, 0 }       stretch = TRUE       orientation = HORIZONTAL     }      image {       function = BOX       detail = "trough-lower"       file = "assets/trough-horizontal-active.png"       border = { 0, 0, 0, 0 }       stretch = TRUE       orientation = HORIZONTAL     }      image {       function = BOX       detail = "trough-upper"       file = "assets/trough-