Highlight deselected documents for a second.

[finishes #62896136]

This was accomplished with naught but CSS transitions. It seems a decent
approach, since we have to find a compromise between two design goals
(A. selection should be unambiguous; B. display the _previous_ selection).
Should our requirements become more concrete, we may need to switch to a
JS-backed solution.