| OLD | NEW | 
|   1 <!doctype html> |   1 <!doctype html> | 
|   2 <html lang="en"> |   2 <html lang="en"> | 
|   3 <head> |   3 <head> | 
|   4         <style> |   4         <style> | 
|   5                 /* Make sure the console and the description don't interfere wit
    h the rest of the layout. */ |   5                 /* Make sure the console and the description don't interfere wit
    h the rest of the layout. */ | 
|   6                 #description { |   6                 #description { | 
|   7                         position: absolute; |   7                         position: absolute; | 
|   8                         top: 0px; |   8                         top: 0px; | 
|   9                 } |   9                 } | 
|  10  |  10  | 
| (...skipping 60 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
|  71                                 elementsToHide[i].style.visibility = "hidden"; |  71                                 elementsToHide[i].style.visibility = "hidden"; | 
|  72                 } |  72                 } | 
|  73  |  73  | 
|  74                 else { |  74                 else { | 
|  75                         var elementsToHide = document.querySelectorAll("#console
    , #description"); |  75                         var elementsToHide = document.querySelectorAll("#console
    , #description"); | 
|  76                         for (var i=0; i<elementsToHide.length; i++) |  76                         for (var i=0; i<elementsToHide.length; i++) | 
|  77                                 elementsToHide[i].style.visibility = "hidden"; |  77                                 elementsToHide[i].style.visibility = "hidden"; | 
|  78                 } |  78                 } | 
|  79         </script> |  79         </script> | 
|  80  |  80  | 
|  81         <script src="../js/resources/js-test-post.js"></script> |  | 
|  82 </body> |  81 </body> | 
|  83 </html> |  82 </html> | 
| OLD | NEW |