| <!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> |