better margins for pre tags