Change the link style
authorAntonio Ospite <ospite@studenti.unina.it>
Mon, 14 Nov 2011 10:03:02 +0000 (11:03 +0100)
committerAntonio Ospite <ospite@studenti.unina.it>
Mon, 14 Nov 2011 10:03:02 +0000 (11:03 +0100)
Signed-off-by: Antonio Ospite <ospite@studenti.unina.it>
direct_download_links.js

index 055ccea..c7a45a2 100644 (file)
@@ -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);