Minor layout fixes (merge CendioOssman PR)
Created by: ederag
Unable to find out how to add the necessary modifications to the PR #302 branch. Maybe "Allow edits from maintainers" was not checked ? => new PR for an easy merge.
Created by: ederag
Unable to find out how to add the necessary modifications to the PR #302 branch. Maybe "Allow edits from maintainers" was not checked ? => new PR for an easy merge.