Settings and navigation

Tool checkboxes now have proper spacing; Reset settings now resets the tool list; page scrolling fixed.