| 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 |