Team editor: Make bot icons and graves more visible in closed drop-down lists, smaller botlevel images

module Main where

import qualified MODULE as M

main = undefined $ M.FUNCTION PARAMETERS