Are shorts now office-appropriate? Let's ask a manager.