annotate client/digitallibrary/oldskin/dlMenu.html @ 444:cb1ffdff2333

fixed problem with next/prev page button in oldskin (basically my bad for not properly adapting the new dllib.js)
author robcast
date Mon, 16 Jan 2006 20:36:32 +0100
parents 7eb7c2056414
children bd9e35b0b17c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
310
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
1 <html>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
2 <head>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
3 <style type="text/css">
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
4 .menu {position:absolute; visibility:hidden}
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
5
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
6 .item1 {position:absolute; left:33; width:50; height:14; clip:rect(0,50,14,0); visibility:hidden}
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
7 .item2 {position:absolute; left:43; width:40; height:14; clip:rect(0,40,14,0); visibility:hidden}
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
8 .item3 {position:absolute; left:3; width:80; height:14; clip:rect(0,80,14,0); visibility:hidden}
368
7eb7c2056414 added digilib logo with text
hertzhaft
parents: 366
diff changeset
9 .logo { margin-left: 5px; margin-top: 10px; }
310
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
10
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
11 .text {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; color: #FFFFFF; text-decoration: none}
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
12 </style>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
13 <script language="JavaScript" src="buttons/menu.js"></script>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
14
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
15 <script language="JavaScript">
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
16 // because on a netscape 4.xx bug (messing up with layers on resize) we cache the window
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
17 // resize event and redisplay the navigation frame
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
18 if (document.layers && !document.getElementById) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
19 window.onresize = function() {parent.rightFrame.location.reload();}
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
20 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
21
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
22 /**
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
23 * overriding 'page' in navigation.js
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
24 */
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
25 function page(page, details) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
26
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
27 var pn = parseInt(parent.mainFrame.getParameter("pn"));
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
28 var pt = parseInt(parent.mainFrame.getParameter("pt"));
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
29
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
30 if ( details == null ) {
444
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
31 details = 35; // fn, pn, ws, mo + pt
310
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
32 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
33
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
34 if ( page && page.indexOf('-') == 0 ) {
444
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
35 if ( pn > 1 ) {
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
36 page = Math.max(pn - parseInt(page.slice(1)), 1);
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
37 parent.mainFrame.setParameter("pn", page);
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
38 display(details);
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
39 } else {
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
40 alert("You are already on the first page!");
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
41 }
310
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
42 } else if ( page && page.indexOf('+') == 0 ) {
444
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
43 if ( pn < pt ) {
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
44 page = Math.min(pn + parseInt(page.slice(1)), pt);
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
45 parent.mainFrame.setParameter("pn", page);
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
46 display(details);
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
47 } else {
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
48 alert("You are already on the last page!");
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
49 }
310
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
50 } else if ( page && page == parseInt(page) ) {
444
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
51 if ( (page > 0) && (page <= pt) ) {
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
52 parent.mainFrame.setParameter("pn", page);
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
53 display(details);
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
54 } else {
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
55 alert ("Illegal page number (should be 1 - " + pt + ")!");
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
56 }
310
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
57 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
58 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
59
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
60 /*
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
61 * new display function to refresh the pagesTotal frame
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
62 */
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
63
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
64 function display(detail) {
444
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
65 if (parent.pageFrame.show) {
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
66 parent.pageFrame.show();
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
67 } else {
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
68 parent.pageFrame.location.reload();
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
69 }
310
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
70 parent.mainFrame.display(detail);
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
71 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
72
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
73
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
74 function askPage() {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
75 do {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
76 p = prompt("Goto Page:", 1);
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
77 } while ((p != null) && (p < 1));
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
78 page(p);
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
79 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
80
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
81 function showRef(select) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
82 var hyperlinkRef = parent.mainFrame.baseUrl + "/digilib.jsp?";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
83 hyperlinkRef += parent.mainFrame.getAllParameters();
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
84 if ( select == 0 ) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
85 prompt("Link for LaTeX-documents", "\\href{" + hyperlinkRef + "}{TEXT}");
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
86 } else if ( select == 1 ) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
87 prompt("Link for HTML-documents", hyperlinkRef);
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
88 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
89 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
90
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
91 function setSize(size) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
92 parent.mainFrame.setParameter('ws', size);
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
93 display();
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
94 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
95
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
96 function digicat() {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
97 var fn = parent.mainFrame.getParameter("fn");
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
98 var pn = parent.mainFrame.getParameter("pn");
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
99 var url = parent.mainFrame.baseUrl + "/digicat.jsp?fn=" + fn + "&pn=" + pn;
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
100 win = window.open(url, "digicat");
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
101 win.focus();
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
102 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
103
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
104 // boolean variable to either show or not show the additional help
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
105 // change in the menuitem its original mark
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
106 var showHelp = false;
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
107
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
108 // variable to tell if while changing to another page it should keep the area
444
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
109 // change in the menuitem its original mark
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
110 var keepArea = 35; // fn, pn, ws, mo + pt
310
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
111
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
112
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
113 // variable that store the texts for contexthelp
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
114 var helpText = new Array();
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
115
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
116 helpText[0] = "'back'-button|Click on this button to load the previous image (usually the next page from a manuscript).";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
117 helpText[1] = "'next'-button|Click on this button to load the next image (usually the next page from a manuscript).";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
118 helpText[2] = "'page'-button|After clicking 'page' you will be prompted for a specific page you want to see.<br>Note that the page number refers to the same serie you are in now.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
119 helpText[3] = "'digicat'-button|Click here to open a new window containing thumbnails of the current series pages to navigate.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
120 helpText[4] = "'mark'-button|You can set marks into the picture. After hitting 'mark' you have to click on the desired picures location, a numbered mark appears.<br>Check out 'reference' to make these marks (up to 8) visible for others.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
121 helpText[5] = "'reference'-button|Choose LaTeX or HTML mode to get a link for the actual (zoomed) picture with all set marks.<br>This link can easily be included in a TeX- or HTML-formatted document/page.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
122 helpText[6] = "'zoom area'-button|With 'zoom area' you can zoom into any rectangular field for the current picture.<br>After clicking on the button click on the image to set any corner (ex. topleft), release the mousebutton and move the mouse until you have the desired size, then click again.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
123 helpText[7] = "'zoom in'-button|Clicking on 'zoom in' zooms in around the current center.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
124 helpText[8] = "'zoom out'-button|Clicking on 'zoom out' zooms out around the current center.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
125 helpText[9] = "'full page'-button|To gain the original unzoomed picture, click on 'full page'.<br>Note that any set marks are still saved at their positions.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
126 helpText[10] = "'size'-button|By clicking on one of the menu entries you can select the size of the currently displayed picture in relation to your browser window.<br>Note: a scale factor of '1.0' means that the picture fits right into the working area, while '2.0' means that it will be twice as high and wide.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
127 helpText[11] = "'?'-button|In its menu you are able change options like the visibility of this contextsensitive help, with 'Keep area' digilib keeps its current zoom area when changing to another page.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
128
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
129 </script>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
130 </head>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
131
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
132 <body bgcolor="#CCCCCC" leftmargin="8" marginwidth="8" topmargin="5" marginheight="5" onload="preloadImages()" onunload="closeContextHelp()">
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
133
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
134 <a href="javascript:page('-1', keepArea)" onmouseover="overButton(0)" onmouseout="awayButton(0)"><img src="buttons/back0.gif" width="73" height="30" border="0"></a><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
135 <a href="javascript:page('+1', keepArea)" onmouseover="overButton(1)" onmouseout="awayButton(1)"><img src="buttons/next0.gif" width="73" height="30" border="0"></a><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
136 <a href="javascript:askPage()" onmouseover="overButton(2)" onmouseout="awayButton(2)"><img src="buttons/page0.gif" width="73" height="30" border="0"></a><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
137 <a href="javascript:digicat()" onmouseover="overButton(3)" onmouseout="awayButton(3)"><img src="buttons/digicat0.gif" width="73" height="30" border="0"></a><br><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
138 <a href="javascript:parent.mainFrame.setMark(false);" onmouseover="overButton(4)" onmouseout="awayButton(4)"><img src="buttons/mark0.gif" width="73" height="30" border="0"></a><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
139 <a href="javascript:hideMenu(); showMenu(1)" onmouseover="overButton(5)" onmouseout="awayButton(5)"><img src="buttons/reference0.gif" width="73" height="30" border="0"></a><br><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
140 <a href="javascript:parent.mainFrame.zoomArea()" onmouseover="overButton(6)" onmouseout="awayButton(6)"><img src="buttons/zoomarea0.gif" width="73" height="30" border="0"></a><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
141 <a href="javascript:parent.mainFrame.zoomBy(1.4142)" onmouseover="overButton(7)" onmouseout="awayButton(7)"><img src="buttons/zoomin0.gif" width="73" height="30" border="0"></a><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
142 <a href="javascript:parent.mainFrame.zoomBy(0.7071)" onmouseover="overButton(8)" onmouseout="awayButton(8)"><img src="buttons/zoomout0.gif" width="73" height="30" border="0"></a><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
143 <a href="javascript:parent.mainFrame.zoomFullpage()" onmouseover="overButton(9)" onmouseout="awayButton(9)"><img src="buttons/fullpage0.gif" width="73" height="30" border="0"></a><br><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
144 <a href="javascript:hideMenu(); showMenu(2)" onmouseover="overButton(10)" onmouseout="awayButton(10)"><img src="buttons/scale0.gif" width="73" height="30" border="0"></a><br><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
145 <a href="javascript:hideMenu(); showMenu(3)" onmouseover="overButton(11)" onmouseout="awayButton(11)"><img src="buttons/questionmark0.gif" width="73" height="30" border="0"></a><br><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
146
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
147 <div id="menu1" class="menu" style="top:201; left:31; width:54; height:33; clip:rect(0,54,33,0)"></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
148 <div id="menu11" class="item1" style="top:203"><center><a href="#" class="text" onClick="hideMenu(); showRef(0); return false;" onmouseover="overItem(11)" onmouseout="awayItem(11)">LaTeX</a></center></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
149 <div id="menu12" class="item1" style="top:218"><center><a href="#" class="text" onClick="hideMenu(); showRef(1); return false;" onmouseover="overItem(12)" onmouseout="awayItem(12)">HTML</a></center></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
150
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
151 <div id="menu2" class="menu" style="top:379; left:41; width:44; height:93; clip:rect(0,44,93,0)"></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
152 <div id="menu21" class="item2" style="top:381"><center><a href="#" class="text" onClick="hideMenu(); setSize(0.7); return false;" onmouseover="overItem(21)" onmouseout="awayItem(21)">0.7</a></center></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
153 <div id="menu22" class="item2" style="top:396"><center><a href="#" class="text" onClick="hideMenu(); setSize(1.0); return false;" onmouseover="overItem(22)" onmouseout="awayItem(22)">1.0</a></center></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
154 <div id="menu23" class="item2" style="top:411"><center><a href="#" class="text" onClick="hideMenu(); setSize(1.5); return false;" onmouseover="overItem(23)" onmouseout="awayItem(23)">1.5</a></center></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
155 <div id="menu24" class="item2" style="top:426"><center><a href="#" class="text" onClick="hideMenu(); setSize(2.0); return false;" onmouseover="overItem(24)" onmouseout="awayItem(24)">2.0</a></center></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
156 <div id="menu25" class="item2" style="top:441"><center><a href="#" class="text" onClick="hideMenu(); setSize(2.5); return false;" onmouseover="overItem(25)" onmouseout="awayItem(25)">2.5</a></center></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
157 <div id="menu26" class="item2" style="top:456"><center><a href="#" class="text" onClick="hideMenu(); setSize(3.0); return false;" onmouseover="overItem(26)" onmouseout="awayItem(26)">3.0</a></center></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
158
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
159 <div id="menu3" class="menu" style="top:430; left:1; width:84; height:33; clip:rect(0,84,33,0)"></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
160 <div id="menu31" class="item3" style="top:432"><center><a href="#" class="text" onclick="changeMark(31); hideMenu(); changeHelp(); return false;" onmouseover="overItem(31)" onmouseout="awayItem(31)"><img id="mark31" src="buttons/nomark.gif" border="0">Contexthelp</a></center></div>
444
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
161 <div id="menu32" class="item3" style="top:447"><center><a href="#" class="text" onclick="changeMark(32); keepArea = (keepArea == 47) ? 35 : 47; return false;" onmouseover="overItem(32)" onmouseout="awayItem(32)"><img id="mark32" src="buttons/nomark.gif" border="0">Keep&nbsp;area</a></center></div>
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
162 <!-- <div id="logo" class="logo">
368
7eb7c2056414 added digilib logo with text
hertzhaft
parents: 366
diff changeset
163 <a href="http://digilib.berlios.de" target="_blank" >
7eb7c2056414 added digilib logo with text
hertzhaft
parents: 366
diff changeset
164 <img border="0" src="../img/digilib-logo-text1.png" title="digilib"></img>
7eb7c2056414 added digilib logo with text
hertzhaft
parents: 366
diff changeset
165 </a>
444
cb1ffdff2333 fixed problem with next/prev page button in oldskin
robcast
parents: 368
diff changeset
166 </div> -->
310
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
167
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
168 <script language="Javascript">
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
169 // initial background color of the menues (has to be done like this,
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
170 // otherwise menues in ns4 you will have wrong dimensions)
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
171 changeBc("menu1", "#666666");
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
172 changeBc("menu2", "#666666");
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
173 changeBc("menu3", "#666666");
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
174 </script>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
175 </body>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
176 </html>