Clean up some <pre> css