Better fontification and auto-indentation of description lists.