diff dottes.html.learnertune @ 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 ae0836b5f4dd
children cb7a4eff9d5b
line wrap: on
line diff
--- a/dottes.html.learnertune	Tue Jun 17 12:26:18 2014 +0100
+++ b/dottes.html.learnertune	Tue Jun 17 12:32:15 2014 +0100
@@ -76,9 +76,9 @@
             </div>
             <div class="dottes-tune-footer-right">
               <ul class="tune-data-list">
-                <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>
               </ul>
             </div>
@@ -106,9 +106,9 @@
             </div>
             <div class="dottes-tune-footer-right">
               <ul class="tune-data-list">
-                <li><a class="dottes-link-tune dottes-mp3"
+                <li><a class="dottes-link-tune dottes-mp3" download
                        href="../@MASTERBOOKE@/littleslow-@TUNE@.mp3">MP3</a></li>
-                <li><a class="dottes-link-tune dottes-ogg"
+                <li><a class="dottes-link-tune dottes-ogg" download
                        href="../@MASTERBOOKE@/littleslow-@TUNE@.ogg">OGG</a></li>
               </ul>
             </div>
@@ -136,9 +136,9 @@
             </div>
             <div class="dottes-tune-footer-right">
               <ul class="tune-data-list">
-                <li><a class="dottes-link-tune dottes-mp3"
+                <li><a class="dottes-link-tune dottes-mp3" download
                        href="../@MASTERBOOKE@/slow-@TUNE@.mp3">MP3</a></li>
-                <li><a class="dottes-link-tune dottes-ogg"
+                <li><a class="dottes-link-tune dottes-ogg" download
                        href="../@MASTERBOOKE@/slow-@TUNE@.ogg">OGG</a></li>
               </ul>
             </div>
@@ -166,9 +166,9 @@
             </div>
             <div class="dottes-tune-footer-right">
               <ul class="tune-data-list">
-                <li><a class="dottes-link-tune dottes-mp3"
+                <li><a class="dottes-link-tune dottes-mp3" download
                        href="../@MASTERBOOKE@/veryslow-@TUNE@.mp3">MP3</a></li>
-                <li><a class="dottes-link-tune dottes-ogg"
+                <li><a class="dottes-link-tune dottes-ogg" download
                        href="../@MASTERBOOKE@/veryslow-@TUNE@.ogg">OGG</a></li>
               </ul>
             </div>