nline in the text, in case the screen is too
     small for the one in the `default.html' template -->

  <div id="contents">
    <p class="mini-header">Contents</p>
    <ul>
<li><a href="#location">Location</a></li>
<li><a href="#schedule">Schedule</a></li>
<li><a href="#abstracts">Abstracts</a>
<ul>
<li><a href="#tony-zorman">Tony Zorman</a></li>
<li><a href="#gabriella-böhm">Gabriella Böhm</a></li>
<li><a href="#ivan-bartulović">Ivan Bartulović</a></li>
<li><a href="#sebastian-halbig">Sebastian Halbi