annotate client/digitallibrary/oldskin/dlMenu.html @ 448:e96757237406

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 ad2464eebaa3
children e01e9112adc3
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
314
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
1 <html>
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
2 <head>
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
3 <style type="text/css">
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
4 .menu {position:absolute; visibility:hidden}
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
5
074c3117f292 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}
074c3117f292 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}
074c3117f292 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}
372
ad2464eebaa3 added digilib logo with text
hertzhaft
parents: 370
diff changeset
9 .logo { margin-left: 5px; margin-top: 10px; }
314
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
10
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
11 .text {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; color: #FFFFFF; text-decoration: none}
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
12 </style>
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
13 <script language="JavaScript" src="buttons/menu.js"></script>
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
14
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
15 <script language="JavaScript">
074c3117f292 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
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
17 // resize event and redisplay the navigation frame
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
18 if (document.layers && !document.getElementById) {
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
19 window.onresize = function() {parent.rightFrame.location.reload();}
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
20 }
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
21
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
22 /**
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
23 * overriding 'page' in navigation.js
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
24 */
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
25 function page(page, details) {
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
26
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
27 var pn = parseInt(parent.mainFrame.getParameter("pn"));
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
28 var pt = parseInt(parent.mainFrame.getParameter("pt"));
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
29
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
30 if ( details == null ) {
448
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
31 details = 35; // fn, pn, ws, mo + pt
314
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
32 }
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
33
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
34 if ( page && page.indexOf('-') == 0 ) {
448
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
35 if ( pn > 1 ) {
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
36 page = Math.max(pn - parseInt(page.slice(1)), 1);
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
37 parent.mainFrame.setParameter("pn", page);
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
38 display(details);
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
39 } else {
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
40 alert("You are already on the first page!");
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
41 }
314
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
42 } else if ( page && page.indexOf('+') == 0 ) {
448
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
43 if ( pn < pt ) {
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
44 page = Math.min(pn + parseInt(page.slice(1)), pt);
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
45 parent.mainFrame.setParameter("pn", page);
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
46 display(details);
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
47 } else {
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
48 alert("You are already on the last page!");
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
49 }
314
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
50 } else if ( page && page == parseInt(page) ) {
448
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
51 if ( (page > 0) && (page <= pt) ) {
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
52 parent.mainFrame.setParameter("pn", page);
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
53 display(details);
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
54 } else {
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
55 alert ("Illegal page number (should be 1 - " + pt + ")!");
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
56 }
314
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
57 }
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
58 }
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
59
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
60 /*
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
61 * new display function to refresh the pagesTotal frame
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
62 */
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
63
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
64 function display(detail) {
448
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
65 if (parent.pageFrame.show) {
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
66 parent.pageFrame.show();
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
67 } else {
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
68 parent.pageFrame.location.reload();
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
69 }
314
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
70 parent.mainFrame.display(detail);
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
71 }
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
72
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
73
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
74 function askPage() {
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
75 do {
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
76 p = prompt("Goto Page:", 1);
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
77 } while ((p != null) && (p < 1));
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
78 page(p);
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
79 }
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
80
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
81 function showRef(select) {
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
82 var hyperlinkRef = parent.mainFrame.baseUrl + "/digilib.jsp?";
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
83 hyperlinkRef += parent.mainFrame.getAllParameters();
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
84 if ( select == 0 ) {
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
85 prompt("Link for LaTeX-documents", "\\href{" + hyperlinkRef + "}{TEXT}");
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
86 } else if ( select == 1 ) {
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
87 prompt("Link for HTML-documents", hyperlinkRef);
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
88 }
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
89 }
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
90
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
91 function setSize(size) {
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
92 parent.mainFrame.setParameter('ws', size);
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
93 display();
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
94 }
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
95
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
96 function digicat() {
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
97 var fn = parent.mainFrame.getParameter("fn");
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
98 var pn = parent.mainFrame.getParameter("pn");
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
99 var url = parent.mainFrame.baseUrl + "/digicat.jsp?fn=" + fn + "&pn=" + pn;
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
100 win = window.open(url, "digicat");
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
101 win.focus();
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
102 }
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
103
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
104 // boolean variable to either show or not show the additional help
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
105 // change in the menuitem its original mark
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
106 var showHelp = false;
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
107
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
108 // variable to tell if while changing to another page it should keep the area
448
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
109 // change in the menuitem its original mark
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
110 var keepArea = 35; // fn, pn, ws, mo + pt
314
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
111
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
112
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
113 // variable that store the texts for contexthelp
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
114 var helpText = new Array();
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
115
074c3117f292 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).";
074c3117f292 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).";
074c3117f292 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.";
074c3117f292 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.";
074c3117f292 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.";
074c3117f292 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.";
074c3117f292 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.";
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
123 helpText[7] = "'zoom in'-button|Clicking on 'zoom in' zooms in around the current center.";
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
124 helpText[8] = "'zoom out'-button|Clicking on 'zoom out' zooms out around the current center.";
074c3117f292 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.";
074c3117f292 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.";
074c3117f292 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.";
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
128
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
129 </script>
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
130 </head>
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
131
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
132 <body bgcolor="#CCCCCC" leftmargin="8" marginwidth="8" topmargin="5" marginheight="5" onload="preloadImages()" onunload="closeContextHelp()">
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
133
074c3117f292 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>
074c3117f292 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>
074c3117f292 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>
074c3117f292 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>
074c3117f292 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>
074c3117f292 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>
074c3117f292 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>
074c3117f292 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>
074c3117f292 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>
074c3117f292 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>
074c3117f292 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>
074c3117f292 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>
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
146
074c3117f292 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>
074c3117f292 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>
074c3117f292 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>
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
150
074c3117f292 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>
074c3117f292 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>
074c3117f292 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>
074c3117f292 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>
074c3117f292 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>
074c3117f292 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>
074c3117f292 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>
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
158
074c3117f292 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>
074c3117f292 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>
448
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
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>
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
162 <!-- <div id="logo" class="logo">
372
ad2464eebaa3 added digilib logo with text
hertzhaft
parents: 370
diff changeset
163 <a href="http://digilib.berlios.de" target="_blank" >
ad2464eebaa3 added digilib logo with text
hertzhaft
parents: 370
diff changeset
164 <img border="0" src="../img/digilib-logo-text1.png" title="digilib"></img>
ad2464eebaa3 added digilib logo with text
hertzhaft
parents: 370
diff changeset
165 </a>
448
e96757237406 fixed problem with next/prev page button in oldskin
robcast
parents: 372
diff changeset
166 </div> -->
314
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
167
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
168 <script language="Javascript">
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
169 // initial background color of the menues (has to be done like this,
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
170 // otherwise menues in ns4 you will have wrong dimensions)
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
171 changeBc("menu1", "#666666");
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
172 changeBc("menu2", "#666666");
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
173 changeBc("menu3", "#666666");
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
174 </script>
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
175 </body>
074c3117f292 big autumn cleaning :-)
robcast
parents:
diff changeset
176 </html>