diff dottes.html.tune @ 488:e16c20e63d9c build-default-209

Decide that all links for downloading things should get HTML5 download tags. The audio players exist to play things on the page. Everything else is to download the file, really. I think.
author Jim Hague <jim.hague@acm.org>
date Tue, 17 Jun 2014 12:32:15 +0100
parents e340218b9d11
children afc031477784
line wrap: on
line diff
--- a/dottes.html.tune	Tue Jun 17 12:26:18 2014 +0100
+++ b/dottes.html.tune	Tue Jun 17 12:32:15 2014 +0100
@@ -54,13 +54,13 @@
           <div class="dottes-tune-footer-row">
             <div class="dottes-tune-footer-left">
               <ul class="tune-data-list">
-                <li><a class="dottes-link-tune dottes-pdf"
+                <li><a class="dottes-link-tune dottes-pdf" download
                        href="@TUNE@.pdf">PDF</a></li>
-                <li><a class="dottes-link-tune dottes-midi"
+                <li><a class="dottes-link-tune dottes-midi" download
                        href="../@MASTERBOOKE@/@TUNE@.mid">MIDI</a></li>
-                <li><a class="dottes-link-tune dottes-mp3"
+                <li><a class="dottes-link-tune dottes-mp3" download
                        href="../@MASTERBOOKE@/@TUNE@.mp3">MP3</a></li>
-                <li><a class="dottes-link-tune dottes-ogg"
+                <li><a class="dottes-link-tune dottes-ogg" download
                        href="../@MASTERBOOKE@/@TUNE@.ogg">OGG</a></li>
                 <li><a class="dottes-link-tune dottes-abc" download
                        href="@TUNE@.abc">ABC</a></li>