Helpviewer/HTMLResources.py

changeset 1664
863114db258e
parent 1647
30be422ac04b
equal deleted inserted replaced
1662:dadf3f4ee800 1664:863114db258e
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" />

eric ide

mercurial