GLab/ToMaTo — pull request #344 by swuest (2014-01-06 14:51:18+00:00)
Title: Fixed Hiddenbox-margin.

Closes #307.