id属性の利用

これまではページ内ジャンプのアンカーにname属性を利用していたのだけど、もう時代遅れなのかな。ということに気づいたので、代わりにid属性を利用するように書き換えています。

あと8080Aのページも修正完了。