Removes download_mini_button.

• Removes the display of the right-aligned download button for all pages, because the download button has been integrated in the menubar. Keeps the css class and definitions to keep the same spacing and as an example if there shall be a new button some day.