eric6/Helpviewer/data/html/startPage.html

branch
maintenance
changeset 7286
7eb04391adf7
parent 7226
babe80d84a3e
parent 7285
1ff497f33f31
child 7287
1c17f2191bdd
equal deleted inserted replaced
7226:babe80d84a3e 7286:7eb04391adf7
1 <!DOCTYPE html>
2 <html>
3 <head>
4 <meta charset="utf-8">
5 <meta http-equiv="content-type" content="text/html; charset=utf-8">
6 <title></title>
7 <link rel="icon" href="@FAVICON@" type="image/x-icon" />
8 <style>
9 * {
10 margin: 0;
11 padding: 0;
12 font-family: "DejaVu Sans";
13 }
14
15 body {
16 background: -webkit-gradient(linear, left top, left bottom, from(#85784A), to(#FDFDFD), color-stop(0.5, #FDFDFD));
17 background-repeat: repeat-x;
18 margin-top: 200px;
19 }
20
21 #header, #search, #footer {
22 width: 600px;
23 margin: 10px auto;
24 }
25
26 #header, #search {
27 border-radius: 0.8em;
28 padding: 25px;
29 }
30
31 #header {
32 background: -webkit-gradient(linear, left top, left bottom, from(#D57E3E), to(#D57E3E), color-stop(0.5, #FFBA89));
33 height: 25px;
34 }
35
36 #header h1 {
37 display: inline;
38 font-size: 1.7em;
39 font-weight: bold;
40 }
41
42 #header img {
43 display: inline;
44 float: right;
45 margin-top: -5px;
46 }
47
48 #search {
49 background: -webkit-gradient(linear, left top, right top, from(#85784A), to(#85784A), color-stop(0.5, #C8C2AE));
50 height: 50px;
51 color: #000;
52 text-align: center;
53 padding-top: 40px !important;
54 }
55
56 #search fieldset {
57 border: 0;
58 }
59
60 #search input[type=text] {
61 width: 65%;
62 }
63
64 #search input[type=submit] {
65 width: 25%;
66 }
67
68 #footer {
69 text-align: center;
70 color: #999;
71 }
72
73 #footer a {
74 color: #555;
75 text-decoration: none;
76 }
77
78 #footer a:hover {
79 text-decoration: underline;
80 }
81 </style>
82 <script type="text/javascript">
83 function update()
84 {
85 document.title = window.eric.translate('Welcome to eric6 Web Browser!');
86 document.getElementById('headerTitle').innerHTML = window.eric.translate('eric6 Web Browser');
87 document.getElementById('searchButton').value = window.eric.translate('Search!');
88 document.getElementById('footer').innerHTML = window.eric.providerString()
89 + ' | ' + '<a href="https://eric-ide.python-projects.org/">'
90 + window.eric.translate('About eric6') + '</a>';
91 document.getElementById('lineEdit').placeholder = window.eric.providerString();
92
93 // Try to change the direction of the page:
94
95 var newDir = window.eric.translate('QT_LAYOUT_DIRECTION');
96 newDir = newDir.toLowerCase();
97 if ((newDir != 'ltr') && (newDir != 'rtl'))
98 newDir = 'ltr';
99 document.getElementsByTagName('body')[0].setAttribute('dir', newDir);
100 }
101
102 function formSubmitted()
103 {
104 var string = lineEdit.value;
105
106 if (string.length == 0)
107 return;
108
109 var url = window.eric.searchUrl(string);
110 window.location.href = url;
111 }
112 </script>
113 </head>
114 <body onload="document.forms[0].lineEdit.select(); update();">
115 <div id="header">
116 <h1 id="headerTitle"></h1>
117 <img src="@IMAGE@" width="32" height="32"/>
118 </div>
119 <div id="search">
120 <form action="javascript:formSubmitted();">
121 <fieldset>
122 <input id="lineEdit" name="lineEdit" type="text" />
123 <input id="searchButton" type="submit" />
124 </fieldset>
125 </form>
126 </div>
127 <div id="footer"></div>
128 </body>
129 </html>

eric ide

mercurial