# HG changeset patch # User luginbue # Date 1014254371 -3600 # Node ID 8dbd7b41d5910847592653fb7dee42938269bab0 # Parent b72385d8d859b0a8b63079bf5750e7444c008312 cleaning up a bit - more follows diff -r b72385d8d859 -r 8dbd7b41d591 client/digitallibrary/navigation.html --- a/client/digitallibrary/navigation.html Tue Feb 05 20:57:35 2002 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,105 +0,0 @@ - - - - - - - - - -
-
-
-

-
-

-
-
-
-

-

- - - - - - - - - - - - - - - - - - - - - - - diff -r b72385d8d859 -r 8dbd7b41d591 client/digitallibrary/page.js --- a/client/digitallibrary/page.js Tue Feb 05 20:57:35 2002 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,13 +0,0 @@ -function pageInfo() { - - // bug in netscape 4.xx (confunding px and pt) - var fontsize = document.layers ? "11pt" : "11px"; - - if (pageFrame) { - pageFrame.document.open(); - pageFrame.document.write(''); - pageFrame.document.write('

'); - pageFrame.document.write(att[1] + ' of ' + numPages + '

'); - pageFrame.document.close(); - } -}