+ /// scroll down document by the given number of pixels.
+ void scrollDown(int pixels);
+ /// scroll up document by the given number of pixels.
+ void scrollUp(int pixels);
+ /// scroll document by the given number of pixels.
+ void scroll(int pixels);