Merge pull request #48 from NUBIC/ui-finetunung

UI fine-tuning.
Fixed bug with broken abstraction group UI introduced with latest layout changes.
fixes #51
Fixed cucumber feature broken with latest layout changes.
fixes #52
closes #53 Use CSS to separate abstractions in place of <hr> elements