fixed firefox pagination styling bug
fixed type, fixed event not triggering refiltering documents
changed icons for importing and exporting json collections
fixed wrong styling of active submenu
added delay for progress view
jslint
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel