// --==*==-- --==*==-- --==*==-- --==*==-- --==*==--
// id="style" の srcを切り替える
// （大中小の切り替え）
// 　　引数：src
// 　　返却値：なし
// --==*==-- --==*==-- --==*==-- --==*==-- --==*==--
function changeCSS(src){
	document.getElementById("style").href = src;
}