I’m talking about 2010 and my suggestion is based on what a non-technical user would want. If WordPress is supposed to be accessible and friendly to non-developers, making a child theme and editing CSS is not a good solution. A simple UI switch for those borders would be a much better approach.