A tool for automatic adaptation of web pages to different screen size