Can a pre tag contain a div tag inside?