// @name Direct Download Links
// @namespace http://git.ao2.it/GM_direct_download_links.git
// @description Add direct download links for (video) files
+// @include http://video.repubblica.it/*
// @include http://tv.repubblica.it/*
// @include http://trovacinema.repubblica.it/*
// @include http://www.kataweb.it/tvzap/*
var supported_sites = [
{
+ locationRegexp: /^http:\/\/video\.repubblica\.it\/.*$/,
+ fileElem: 'contA',
+ fileRegexp: /'pcUrl', '(http:\/\/[^']*)'/,
+ linkDest: 'contA',
+ },
+ {
locationRegexp: /^http:\/\/tv\.repubblica\.it\/.*$/,
fileElem: 'boxPlayer',
fileRegexp: /'pcUrl', '(http:\/\/[^']*)'/,
* Add a Direct Download link on the page for the specified file
*
* @param pageURL: the URL of the page we are modifying
- * @param fileElem: the emelemt containig the file URL
+ * @param fileElem: the element containing the file URL
* @param fileRegexp: the regular expression for finding the file, the first
- * subpattern is taken as the file URL
- * @param linkDest: the element where to place the DIrect Download link
+ * sub-pattern is taken as the file URL
+ * @param linkDest: the element where to place the Direct Download link
*
* @return: null on error, true on success
*/
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);