The options can now be set with the PHP configuration. Minor updates in the scrollbar widget. Implemented scrolling. Updated documentation.
Re-added back-end JS assets