+ var style = 'background-color: white; color: blue;';
+ style += ' border: 2px solid red;'
+ style += ' float: left; font-size: large;';
+ style += ' padding: .5em; margin-left: 30px; margin-bottom: 1em;'
+ download_link.setAttribute('style', style);