Some beautification for the Contiki online configurator.
Merge pull request #371 from oliverschmidt/master

Some beautification for the Contiki online configurator.