History panel: reduce size of select checkboxes, decrease animation