Hi Bruce, you can set it so that users cannot see the post edits with the edit_history_visible_to_public setting but I think they can still see the pencil but not press it.
If you’d like to hide it there are some helpful guides in Documentation such as this one. css guidance is a bit out of scope in the support category.