Superclass: BoxMorph

Class definition of PageNavigationMorph in apps/PageNavigation.js:338