The radial scroll tool: scrolling support for stylus- or touch-based document navigation