3/18/13: remove hr separators from various files, will go back and use CSS to make white space as separator