Improve styling of subproof displays; just show tech details on request.