add css animation for narrowing CallHistory; highlight Invocation on hover; minor cleanup