<div class="container">
<div id="releasesnav" class="highlight_box">Other releases:
<ul><@release_list@></ul></div>
<h2>Angband Releases: <@release_name@></h2>
<div class='page'>
<@content@>
</div>
</div>
<div id="releasesnav" class="highlight_box">Other releases:
<ul><@release_list@></ul></div>
<h2>Angband Releases: <@release_name@></h2>
<div class='page'>
<@content@>
</div>

Remove extraneous <div> from release pages.
Remove extraneous <div> from release pages.
