| commit | 062bc6e59862bef0bc61fa256db8ad92bf330ed5 | [log] [tgz] |
|---|---|---|
| author | Fred Drake <fdrake@acm.org> | Thu Aug 13 22:03:46 1998 +0000 |
| committer | Fred Drake <fdrake@acm.org> | Thu Aug 13 22:03:46 1998 +0000 |
| tree | ab5baf2d6fbb1684a1061f61a5e9d74eb82664b8 | |
| parent | 31bb8cef2c528591bc6b2abefff34cbcbfd121f3 [diff] |
Do the magic to use the new buttons (with shorter names!) instead of the old ones. Get the <IMG> width & height right. New design for the navigation bars, including the document title as well as the navigation links/buttons.