Navigation

This PR depends on https://github.com/hpicgs/gloperate/pull/30 and should not be merged before.
fix alignment, no tabs, 4 spaces