Variable NAVIGATION_TOOL_HEIGHT_OFFSETConst

Vertical offset applied to navigation graph nodes, edges and arrows so they render just above the surface they lie on, avoiding z-fighting.