Change the link style

Signed-off-by: Antonio Ospite <ospite@studenti.unina.it>

diff --git a/direct_download_links.js b/direct_download_links.js
index 055ccea..c7a45a2 100644 (file)
--- a/direct_download_links.js
+++ b/direct_download_links.js
@@ -106,7 +106,11 @@ function direct_download_link_add(pageURL, fileElem, fileRegexp, linkDest) {
   var download_link = document.createElement('a');
   download_link.textContent = 'Direct Download';
   download_link.setAttribute('href', fileURL);
   var download_link = document.createElement('a');
   download_link.textContent = 'Direct Download';
   download_link.setAttribute('href', fileURL);

-  download_link.setAttribute('style', 'display: block; font-size: large; margin-left: 30px; margin-bottom: 1em;');
+  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);

 
   links.insertBefore(download_link, links.firstChild);
 
 
   links.insertBefore(download_link, links.firstChild);