Missing style for the selectable list of tags in the document information panel

When the tag class specifies a display type of "select", a Javascript-powered list of tags is displayed, where the user can click on individual tags to select or unselect them. This had an associated style, that somehow got lost, and right now it is displayed as a plain bulleted list, with no visual indicators of the behavior.