Re: [galaxy-dev] Styling the Galaxy tool config xml