Illustrates a bug in Google Chrome because of which the height of a div with no fixed width 
varies when a browser tab is duplicated.