The options can now be set with the PHP configuration. Minor updates in the scrollbar widget. Implemented scrolling. Updated documentation.