OLD | NEW |
1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
2 <html i18n-values="dir:textdirection"> | 2 <html i18n-values="dir:textdirection"> |
3 <head> | 3 <head> |
4 <meta name="viewport" content="width=device-width" /> | 4 <meta name="viewport" content="width=device-width" /> |
5 <title i18n-content="title"> | 5 <title i18n-content="title"> |
6 </title> | 6 </title> |
7 <style> | 7 <style> |
8 | 8 |
9 body { | 9 body { |
10 background-color: #E6E6E6; | 10 background-color: #E6E6E6; |
(...skipping 144 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
155 #content-top { | 155 #content-top { |
156 margin: 15px; | 156 margin: 15px; |
157 } | 157 } |
158 #help-box-inner { | 158 #help-box-inner { |
159 padding: 20px; | 159 padding: 20px; |
160 } | 160 } |
161 #details { | 161 #details { |
162 margin: 15px; | 162 margin: 15px; |
163 } | 163 } |
164 } | 164 } |
165 | |
166 </style> | 165 </style> |
167 </head> | 166 </head> |
168 | 167 |
169 <script> | 168 <script> |
170 /** | 169 /** |
171 * Sets the classes of elements to match their jscontent values. | 170 * Sets the classes of elements to match their jscontent values. |
172 * Elements without jscontent values are ignored. | 171 * Elements without jscontent values are ignored. |
173 * | 172 * |
174 * This allows styles to be applied to nested elements from | 173 * This allows styles to be applied to nested elements from |
175 * within GRD files. To work on these elements, this must be | 174 * within GRD files. To work on these elements, this must be |
(...skipping 14 matching lines...) Expand all Loading... |
190 var helpBoxOuter = document.getElementById('help-box-outer'); | 189 var helpBoxOuter = document.getElementById('help-box-outer'); |
191 helpBoxOuter.classList.toggle('hidden'); | 190 helpBoxOuter.classList.toggle('hidden'); |
192 var moreLessButton = document.getElementById('moreLessButton'); | 191 var moreLessButton = document.getElementById('moreLessButton'); |
193 if (helpBoxOuter.classList.contains('hidden')) { | 192 if (helpBoxOuter.classList.contains('hidden')) { |
194 moreLessButton.innerText = moreLessButton.moreText; | 193 moreLessButton.innerText = moreLessButton.moreText; |
195 } else { | 194 } else { |
196 moreLessButton.innerText = moreLessButton.lessText; | 195 moreLessButton.innerText = moreLessButton.lessText; |
197 } | 196 } |
198 } | 197 } |
199 | 198 |
| 199 function updateForDnsProbe(strings) { |
| 200 new_strings = strings; |
| 201 jstProcess(new JsEvalContext(strings), document.getElementById('t')); |
| 202 } |
200 </script> | 203 </script> |
201 | 204 |
202 <body id="t"> | 205 <body id="t"> |
203 <div id="cell"> | 206 <div id="cell"> |
204 <div id="box"> | 207 <div id="box"> |
205 <div id="content-top"> | 208 <div id="content-top"> |
206 <h1> | 209 <h1> |
207 <span i18n-content="heading"></span> | 210 <span i18n-content="heading"></span> |
208 </h1> | 211 </h1> |
209 | 212 |
(...skipping 50 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
260 </div> | 263 </div> |
261 </div> | 264 </div> |
262 </div> | 265 </div> |
263 <div id="details"> | 266 <div id="details"> |
264 <div jsdisplay="errorDetails" jscontent="errorDetails"></div> | 267 <div jsdisplay="errorDetails" jscontent="errorDetails"></div> |
265 <div jscontent="errorCode"></div> | 268 <div jscontent="errorCode"></div> |
266 </div> | 269 </div> |
267 </div> | 270 </div> |
268 </body> | 271 </body> |
269 </html> | 272 </html> |
OLD | NEW |