Make reference manuals smaller and neater.