      image {       function = BOX       detail = "trough-lower"       file = "assets/trough-horizontal.png"       border = { 0, 0, 0, 0 }       stretch = TRUE       orientation = HORIZONTAL     }      image {       function = SLIDER       state = PRELIGHT       file = "assets/null.png"       border = { 0, 0, 0, 0 }       stretch = TRUE       overlay_file = "assets/slider.png"       overlay_stretch = FALSE       orientation = HORIZONTAL     }      # Check Buttons      image {       function = CHECK       recolorable = TRUE       state = NORMAL       shadow = OUT       overlay_file = "assets/menu-checkbox-unchecked.png"       overlay_stretch = FALSE     }      image {       function = CHECK       recolorable = TRUE       state = PRELIGHT       shadow = OUT       overlay_file = "assets/menu-checkbox-unchecked-selected.png"       overlay_stretch = FALSE     }      image {       function = CHECK       recolorable = TRUE       state = ACTIVE       shadow = OUT       overlay_file = "assets/menu-checkbox-unchecked.png"       overlay_stretch = FALSE     }      image {       function = CHECK       recolorable = TRUE       state = INSENSITIVE       shadow = OUT       overlay_file = "assets/menu-checkbox-unchecked-insensitive.png"       overlay_stretch = FALSE     }      image {       function = CHECK       recolorable = TRUE       state = NORMAL       shadow = IN       overlay_file = "assets/menu-checkbox-checked.png"       overlay_stretch = FALSE     }      image {       function = CHECK       recolorable = TRUE       state = PRELIGHT       shadow = IN       overlay_file = "assets/menu-checkbox-checked-selected.png"       overlay_stretch = FALSE     }      image {       function = CHECK       recolorable = TRUE       state = ACTIVE       shadow = IN       overlay_file = "assets/menu-checkbox-checked.png"       overlay_stretch = FALSE     }      image {       function = CHECK       recolorable = TRUE       state = INSENSITIVE       shadow = IN       overlay_file = "assets/menu-checkbox-checked-insensitive.png"       overlay_stretch = FALSE     }      # Radio Buttons      image {       function = OPTION       state = NORMAL       shadow = OUT       overlay_file = "assets/menu-radio-unchecked.png"       overlay_stretch = FALSE     }      image {       function = OPTION       state = PRELIGHT       shadow = OUT       overlay_file = "assets/menu-radio-unchecked-selected.png"       overlay_stretch = FALSE     }      image {       function = OPTION       state = ACTIVE       shadow = OUT       overlay_file = "assets/menu-radio-unchecked.png"       overlay_stretch = FALSE     }      image {       function = OPTION       state = INSENSITIVE       shadow = OUT       overlay_file = "assets/menu-radio-unchecked-insensitive.png"       overlay_stretch = FALSE     }      image {       function = OPTION       state = NORMAL       shadow = IN       overlay_file = "assets/menu-radio-checked.png"       overlay_stretch = FALSE     }      image {       function = OPTION       state = PRELIGHT       shadow = IN       overlay_file = "assets/menu-radio-checked-selected.png"       overlay_stretch = FALSE     }      image {       function = OPTION       state = ACTIVE       shadow = IN       overlay_file = "assets/menu-radio-checked.png"       overlay_stretch = FALSE     }      image {       function = OPTION       state = INSENSITIVE       shadow = IN       overlay_file = "assets/menu-radio-checked-insensitive.png"       overlay_stretch = FALSE     }      image {       function = 