annotate client/digitallibrary/jskin/digilib.jsp @ 519:b21acdd1fa9d jquery

zeroth version of new js skin
author robcast
date Mon, 07 Sep 2009 18:22:54 +0200
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
519
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
2 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
3 <%@ page language="java" pageEncoding="UTF-8"%><%!
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
4 // -- JSP init -------------
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
5
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
6 // create DocumentBean instance for all JSP requests
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
7 digilib.servlet.DocumentBean docBean = new digilib.servlet.DocumentBean();
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
8
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
9 // initialize DocumentBean instance in JSP init
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
10 public void jspInit() {
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
11 try {
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
12 // set servlet init-parameter
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
13 docBean.setConfig(getServletConfig());
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
14 } catch (javax.servlet.ServletException e) {
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
15 System.out.println(e);
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
16 }
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
17 }
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
18 // -- end of JSP init -------------
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
19 %><%
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
20 // -- JSP request -------------
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
21
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
22 // parsing the query
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
23 // -----------------
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
24 digilib.servlet.DigilibRequest dlRequest = new digilib.servlet.DigilibRequest(request);
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
25 docBean.setRequest(dlRequest);
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
26 // check if authentication is needed and redirect if necessary
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
27 docBean.doAuthentication(response);
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
28 // add number of pages
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
29 dlRequest.setValue("pt", docBean.getNumPages());
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
30 // store objects for jsp:include
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
31 pageContext.setAttribute("docBean", docBean, pageContext.REQUEST_SCOPE);
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
32
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
33 %><html xmlns="http://www.w3.org/1999/xhtml">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
34 <head>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
35 <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
36 <title>Digital Document Library JQ</title>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
37 <link rel="stylesheet" type="text/css" href="diginew.css"/>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
38 <script type="text/javascript" src="jquery.js"></script>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
39 <script type="text/javascript" src="dl-baselib.js"></script>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
40 <script type="text/javascript" src="dllib.js"></script>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
41
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
42 <script type="text/javascript">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
43 // we will add our javascript code here
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
44 $(document).ready(function() {
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
45 // do stuff when DOM is ready
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
46 window.dl.onLoad();
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
47 });
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
48
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
49 </script>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
50 </head>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
51 <body>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
52 <!-- slot for the scaled image -->
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
53 <div id="scaler">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
54 huhu!<img id="pic"></img>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
55 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
56
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
57 <!-- sensitive overlay for zoom area etc -->
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
58 <div id="overlay"></div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
59 <div id="bird-overlay"></div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
60
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
61 <!-- the zoom area selection rectangle -->
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
62 <div id="zoom"></div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
63
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
64 <!-- the bird's eye overview image -->
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
65 <img id="bird-image"></img>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
66
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
67 <!-- the bird's eye select area -->
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
68 <div id="bird-area"></div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
69
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
70 <!-- the arrows -->
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
71 <a class="arrow" id="up" href="javascript:moveBy(0, -0.5)"><img style="border: 0px; width: 100%; height: 100%;" src="trans.gif"/></a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
72 <a class="arrow" id="down" href="javascript:moveBy(0, 0.5)"><img style="border: 0px; width: 100%; height: 100%;" src="trans.gif"/></a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
73 <a class="arrow" id="left" href="javascript:moveBy(-0.5, 0)"><img style="border: 0px; width: 100%; height: 100%;" src="trans.gif"/></a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
74 <a class="arrow" id="right" href="javascript:moveBy(0.5, 0)"><img style="border: 0px; width: 100%; height: 100%;" src="trans.gif"/></a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
75
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
76 <!-- the about window -->
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
77 <div id="about" class="about" onclick="toggleAboutDiv()">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
78 <p>Digilib Graphic Viewer</p>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
79 <a href="http://digilib.berlios.de" target="_blank" >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
80 <img class="logo" src="../img/digilib-logo-text1.png" title="digilib"></img>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
81 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
82 <p id="digilib-version"></p>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
83 <p id="jsp-version"></p>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
84 <p id="baselib-version"></p>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
85 <p id="dllib-version"></p>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
86 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
87
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
88 <!-- the calibration div -->
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
89 <div id="calibration">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
90 <div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
91 <p class="cm">measure the length of this scale on your screen</p>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
92 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
93 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
94
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
95 <!-- the size menu -->
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
96 <div id="size-menu" class="popup-menu">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
97 <p><a href="javascript:setSize(1)">1 x</a></p>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
98 <p><a href="javascript:setSize(1.41)">1.41 x</a></p>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
99 <p><a href="javascript:setSize(2)">2 x</a></p>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
100 <p><a href="javascript:setSize(3)">3 x</a></p>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
101 <div id="sizes-bar">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
102 <div id="sizes-slider"></div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
103 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
104 <p id="sizes-value"></p>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
105 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
106
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
107 <!-- the scale menu -->
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
108 <div id="scale-menu" class="popup-menu">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
109 <p><a href="javascript:setScale('fit')">fit to screen</a></p>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
110 <p><a href="javascript:setScale('pixel')">pixel by pixel</a></p>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
111 <p><a href="javascript:setScale('original')">original size</a></p>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
112 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
113
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
114 <!-- the buttons -->
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
115 <div id="buttons">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
116 <div class="separator">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
117 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
118
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
119 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
120 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
121 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
122 href="javascript:getRefWin()"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
123 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
124
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
125 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
126 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
127 id="reference"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
128 title="get a reference URL"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
129 src="reference.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
130 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
131 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
132 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
133
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
134 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
135 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
136 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
137 href="javascript:dl.zoomBy(1.4)"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
138 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
139
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
140 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
141 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
142 id="zoom-in"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
143 title="zoom in"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
144 src="zoom-in.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
145 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
146 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
147 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
148
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
149 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
150 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
151 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
152 href="javascript:zoomBy(0.7)"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
153 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
154
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
155 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
156 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
157 id="zoom-out"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
158 title="zoom out"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
159 src="zoom-out.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
160 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
161 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
162 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
163
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
164 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
165 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
166 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
167 href="javascript:zoomArea()"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
168 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
169
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
170 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
171 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
172 id="zoom-area"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
173 title="zoom area"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
174 src="zoom-area.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
175 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
176 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
177 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
178
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
179 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
180 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
181 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
182 href="javascript:zoomFullpage()"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
183 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
184
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
185 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
186 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
187 id="zoom-full"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
188 title="view the whole image"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
189 src="zoom-full.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
190 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
191 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
192 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
193
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
194 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
195 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
196 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
197 href="javascript:zoomFullpage('width')"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
198 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
199
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
200 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
201 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
202 id="page-width"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
203 title="page width"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
204 src="pagewidth.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
205 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
206 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
207 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
208
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
209 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
210 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
211 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
212 href="javascript:gotoPage('-1')"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
213 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
214
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
215 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
216 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
217 id="back"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
218 title="goto previous image"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
219 src="back.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
220 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
221 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
222 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
223
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
224 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
225 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
226 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
227 href="javascript:gotoPage('+1')"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
228 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
229
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
230 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
231 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
232 id="fwd"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
233 title="goto next image"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
234 src="fwd.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
235 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
236 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
237 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
238
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
239 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
240 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
241 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
242 href="javascript:gotoPageWin()"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
243 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
244
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
245 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
246 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
247 id="page"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
248 title="specify image"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
249 src="page.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
250 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
251 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
252 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
253
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
254 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
255 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
256 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
257 href="javascript:toggleBirdDiv()"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
258 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
259
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
260 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
261 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
262 id="bird"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
263 title="show bird's eye view"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
264 src="birds-eye.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
265 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
266 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
267 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
268
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
269 <div class="separator">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
270 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
271
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
272 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
273 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
274 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
275 href="javascript:toggleAboutDiv()"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
276 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
277
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
278 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
279 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
280 id="help"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
281 title="about Digilib"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
282 src="help.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
283 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
284 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
285 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
286
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
287 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
288 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
289 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
290 href="javascript:toggleOptionDiv()"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
291 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
292
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
293 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
294 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
295 id="options"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
296 title="more options"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
297 src="options.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
298 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
299 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
300 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
301
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
302 <div class="separator">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
303 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
304 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
305
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
306 <!-- options div -->
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
307
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
308 <div id="dloptions">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
309 <div class="separator">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
310 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
311
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
312 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
313 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
314 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
315 href="javascript:setMark();"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
316 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
317
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
318 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
319 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
320 id="mark"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
321 title="set a mark"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
322 src="mark.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
323 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
324 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
325 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
326
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
327 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
328 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
329 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
330 href="javascript:removeMark()"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
331 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
332
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
333 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
334 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
335 id="delmark"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
336 title="delete the last mark"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
337 src="delmark.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
338 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
339 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
340 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
341
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
342 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
343 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
344 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
345 href="javascript:mirror('h')"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
346 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
347
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
348 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
349 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
350 id="hmir"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
351 title="mirror horizontally"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
352 src="mirror-horizontal.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
353 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
354 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
355 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
356
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
357 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
358 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
359 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
360 href="javascript:mirror('v')"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
361 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
362
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
363 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
364 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
365 id="vmir"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
366 title="mirror vertically"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
367 src="mirror-vertical.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
368 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
369 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
370 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
371
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
372 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
373 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
374 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
375 href="javascript:setParamWin('rot', 'Rotate (0..360) clockwise')"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
376 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
377
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
378 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
379 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
380 id="rot"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
381 title="rotate image"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
382 src="rotate.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
383 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
384 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
385 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
386
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
387 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
388 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
389 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
390 href="javascript:setParamWin('brgt', 'Brightness (-255..255)')"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
391 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
392
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
393 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
394 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
395 id="brgt"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
396 title="set brightness"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
397 src="brightness.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
398 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
399 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
400 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
401
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
402 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
403 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
404 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
405 href="javascript:setParamWin('cont', 'Contrast (0..8)')"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
406 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
407
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
408 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
409 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
410 id="cont"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
411 title="set contrast"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
412 src="contrast.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
413 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
414 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
415 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
416
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
417 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
418 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
419 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
420 href="javascript:setParamWin('rgb', '...')"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
421 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
422
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
423 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
424 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
425 id="rgb"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
426 title="set rgb values"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
427 src="rgb.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
428 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
429 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
430 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
431
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
432 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
433 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
434 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
435 href="javascript:setQualityWin('Quality (0..2)')"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
436 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
437
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
438 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
439 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
440 id="quality"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
441 title="set image quality"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
442 src="quality.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
443 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
444 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
445 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
446
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
447 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
448 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
449 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
450 href="javascript:toggleSizeMenu()"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
451 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
452
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
453 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
454 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
455 id="size"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
456 title="set page size"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
457 src="size.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
458 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
459 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
460 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
461
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
462 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
463 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
464 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
465 href="javascript:calibrate('x')"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
466 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
467
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
468 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
469 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
470 id="calibration-x"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
471 title="calibrate screen x-ratio"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
472 src="calibration-x.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
473 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
474 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
475 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
476
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
477 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
478 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
479 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
480 href="javascript:toggleScaleMenu()"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
481 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
482
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
483 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
484 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
485 id="scale"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
486 title="change image scale"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
487 src="original-size.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
488 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
489 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
490 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
491
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
492 <div class="separator">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
493 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
494
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
495 <div class="button">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
496 <a
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
497 class="icon"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
498 href="javascript:toggleOptionDiv()"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
499 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
500
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
501 <img
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
502 class="png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
503 id="options-1"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
504 title="hide options"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
505 src="options.png"
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
506 >
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
507 </a>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
508 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
509
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
510 <div class="separator">
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
511 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
512
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
513 </div>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
514
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
515 </body>
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
516
b21acdd1fa9d zeroth version of new js skin
robcast
parents:
diff changeset
517 </html>