123 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" |
123 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" |
124 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> |
124 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> |
125 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> |
125 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> |
126 <head> |
126 <head> |
127 <title></title> |
127 <title></title> |
|
128 <link rel="icon" href="data:image/png;base64,@FAVICON@" type="image/x-icon" /> |
128 <style> |
129 <style> |
129 * { |
130 * { |
130 margin: 0; |
131 margin: 0; |
131 padding: 0; |
132 padding: 0; |
132 font-family: "DejaVu Sans"; |
133 font-family: "DejaVu Sans"; |
232 </script> |
233 </script> |
233 </head> |
234 </head> |
234 <body onload="document.forms[0].lineEdit.select(); update();"> |
235 <body onload="document.forms[0].lineEdit.select(); update();"> |
235 <div id="header"> |
236 <div id="header"> |
236 <h1 id="headerTitle"></h1> |
237 <h1 id="headerTitle"></h1> |
237 <img src="data:image/png;base64,IMAGE_BINARY_DATA_HERE" width="32" height="32"/> |
238 <img src="data:image/png;base64,@IMAGE@" width="32" height="32"/> |
238 </div> |
239 </div> |
239 <div id="search"> |
240 <div id="search"> |
240 <form action="javascript:formSubmitted();"> |
241 <form action="javascript:formSubmitted();"> |
241 <fieldset> |
242 <fieldset> |
242 <input id="lineEdit" name="lineEdit" type="text" /> |
243 <input id="lineEdit" name="lineEdit" type="text" /> |