Nest PRE tags in DIVs

To facilitate the improved display of tabular data, as per #148.