Switch to unified view

a/website/devel.html b/website/devel.html
...
...
21
    <div class="rightlinks">
21
    <div class="rightlinks">
22
      <ul>
22
      <ul>
23
    <li><a href="index.html">Home</a></li>
23
    <li><a href="index.html">Home</a></li>
24
    <li><a href="pics/index.html">Screenshots</a></li>
24
    <li><a href="pics/index.html">Screenshots</a></li>
25
    <li><a href="download.html">Downloads</a></li>
25
    <li><a href="download.html">Downloads</a></li>
26
  <li><a href="usermanual/index.html">User manual</a></li>
26
  <li><a href="doc.html">Documentation</a></li>
27
      </ul>
27
      </ul>
28
    </div>
28
    </div>
29
29
30
    <div class="content">
30
    <div class="content">
31
31