Move the style of the commands in download.html to style.css
Merge pull request #787 from jaimeMF/commands_style

Move the style of the commands in download.html to style.css