change <pre>...<h3>...</h3>...</pre> to <pre>...</pre><h3>...</h3><pre>...</pre> so Opera display the html files correctly. Fix by Christian Holm.
change <pre>...<h3>...</h3>...</pre> to <pre>...</pre><h3>...</h3><pre>...</pre>
so Opera display the html files correctly. Fix by Christian Holm.


git-svn-id: ecbadac9c76e8cf640a0bca86f6bd796c98521e3@2476 27541ba8-7e3a-0410-8455-c3a389f83636

bbannier/ROOT,dawehner/root,dawehner/root,dawehner/root,dawehner/root,bbannier/ROOT,bbannier/ROOT,dawehner/root,bbannier/ROOT,dawehner/root,bbannier/ROOT,bbannier/ROOT,dawehner/root,dawehner/root,bbannier/ROOT