2429 clip long filenames in document boxes

Purely a CSS change.