reduce dropdown font size in download dialog

Too large font in the dropdown in the download dialog cut off the end of
the name of the download executable file.  Was necessary to click on the
dropdown to expose entire name to make sure proper download file was
selected.