# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1403004735 -3600
# Node ID e16c20e63d9c5141e701ff5152605445f380735e
# Parent  8f2dfdf3a4e5232495730191b21c20425820947f
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.

diff -r 8f2dfdf3a4e5 -r e16c20e63d9c dottes.html.learnertune
--- 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>
diff -r 8f2dfdf3a4e5 -r e16c20e63d9c dottes.html.tune
--- 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>