音楽の再生について

ブラウザで音声を再生するには、audio要素を利用します。

html5ではMP3とoggの2つの形式を用意するとよいようです。ただしブラウザによります。(「スタートアップHTML5」p308)

<audio (属性)>
	<source src="dl_song.mp3">
</audio>

audio要素の属性

属性がcontrols: メディアの生成を制御するコントロールを表示

<audio contols>
	<source src="dl_song.mp3">
</audio>


属性がautoplay: メディアが再生可能になった段階で自動的に再生を開始

属性がloop: 繰り返し再生

属性がsrc: 再生するメディアのURLを指定する

<audio src="(URL)" controls>
</audio>


属性がpreload: メディアをあらかじめブラウザに読み込む場合の方法を指定する

<audio src="dl_song.mp3" preload="auto">
</audio>

a hrefの場合

<a href="dl_song.mp3"><まモン体操の歌♪</a>

くまモン体操の歌♪

右クリックして「名前を付けてリンク先を保存」をするとダウンロードできます。