<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <title>Rivet</title>
    <link rel="stylesheet" href="style.css">
  </head>

  <body class="splash">
    <? prevnext {<h1 align="center" class="splash">Rivet</h1>} ?>

    <? makeindex ?>

  <?footer?>
</body>
</html>