Some beautification for the Contiki online configurator.