/xml/relaxng/testData/highlighting/Html5.xml

https://bitbucket.org/nbargnesi/idea · XML · 100 lines · 88 code · 11 blank · 1 comment · 0 complexity · e3906183ccee313385e18904ea358c34 MD5 · raw file 

    

  1. <html xmlns="http://www.w3.org/1999/xhtml/html5">
    2. 

  2. <head>
    3. 

  3. 

  4. 

  5. <meta charset="utf-8"/>
    6. 

  6. <meta name="viewport" content="width=620"/>
    7. 

  7. <title>HTML5 Demo: Video</title>
    8. 

  8. <!--<link rel="stylesheet" href="/css/html5demos.css" type="text/css">-->
    9. 

  9. <!--<script src="/js/h5utils.js"></script>--></head><body>
    10. 

  10. <section id="wrapper">
    11. 

  11.     <header>
    12. 

  12.       <h1>Video &copy;</h1>
    13. 

  13.     </header>
    14. 

  14. <article>
    15. 

  15.   <video tabindex="0">
    16. 

  16.     <source src="assets/dizzy.mp4"/>
    17. 

  17.     <source src="assets/dizzy.ogv"/>
    18. 

  18.   </video>
    19. 

  19.   <p id="controls">
    20. 

  20.     <input id="play" value="play" type="button"/>
    21. 

  21.     <span id="position">00:00</span> / <span id="duration">loading...</span>
    22. 

  22.   </p>
    23. 

  23.   <p>Note that (at time of writing) <a href="http://webkit.org/" title="The WebKit Open Source Project">Webkit nightly</a> supports full screen mode, which will add a button above.</p>
    24. 

  24. </article>
    25. 

  25. <script>
    26. 

  26. var video = document.querySelector('video'),
    27. 

  27.     togglePlay = document.querySelector('#play'),
    28. 

  28.     position = document.querySelector('#position'),
    29. 

  29.     ready = false,
    30. 

  30.     controls = document.querySelector('#controls'),
    31. 

  31.     fullscreen = null;
    32. 

  32. 

  33. addEvent(togglePlay, 'click', function () {
    34. 

  34.   if (ready) {
    35. 

  35.     video.playbackRate = 0.5;
    36. 

  36.     if (video.paused) {
    37. 

  37.       if (video.ended) video.currentTime = 0;
    38. 

  38.       video.play();
    39. 

  39.       this.value = "pause";
    40. 

  40.     } else {
    41. 

  41.       video.pause();
    42. 

  42.       this.value = "play";
    43. 

  43.     }
    44. 

  44.   }
    45. 

  45. });
    46. 

  46. 

  47. addEvent(video, 'timeupdate', function () {
    48. 

  48.   position.innerHTML = asTime(this.currentTime);
    49. 

  49. });
    50. 

  50. 

  51. addEvent(video, 'ended', function () {
    52. 

  52.   togglePlay.value = "play";
    53. 

  53. });
    54. 

  54. 

  55. addEvent(video, 'canplay', function () {
    56. 

  56.   video.muted = true;
    57. 

  57.   ready = true;
    58. 

  58.   document.querySelector('#duration').innerHTML = asTime(this.duration);
    59. 

  59. 

  60.   // note: .webkitSupportsFullscreen is false while the video is loading, so we bind in to the canplay event
    61. 

  61.   if (video.webkitSupportsFullscreen) {
    62. 

  62.     fullscreen = document.createElement('input');
    63. 

  63.     fullscreen.setAttribute('type', 'button');
    64. 

  64.     fullscreen.setAttribute('value', 'fullscreen');
    65. 

  65.     controls.insertBefore(fullscreen, controls.firstChild);
    66. 

  66.     addEvent(fullscreen, 'click', function () {
    67. 

  67.       video.webkitEnterFullScreen();
    68. 

  68.     });
    69. 

  69.   }
    70. 

  70. 

  71. });
    72. 

  72. 

  73. function asTime(t) {
    74. 

  74.   t = Math.round(t);
    75. 

  75.   var s = t % 60;
    76. 

  76.   var m = Math.round(t / 60);
    77. 

  77.   
    78. 

  78.   return two(m) + ':' + two(s);
    79. 

  79. }
    80. 

  80. 

  81. function two(s) {
    82. 

  82.   s += "";
    83. 

  83.   if (s.length == 2) s = "0" + s;
    84. 

  84.   return s;
    85. 

  85. }
    86. 

  86. </script>
    87. 

  87.     <footer><a href="/">HTML5 demos</a>/<a id="built" href="http://twitter.com/rem">@rem built this</a>/</footer> 
    88. 

  88. </section>
    89. 

  89. <a href="http://github.com/remy/html5demos"><img style="position: absolute; top: 0pt; left: 0pt; border: 0pt none;" src="http://s3.amazonaws.com/github/ribbons/forkme_left_darkblue_121621.png" alt="Fork me on GitHub"/></a>
    90. 

  90. <script>
    91. 

  91. var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
    92. 

  92. document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
    93. 

  93. </script><script src="http://www.google-analytics.com/ga.js" type="text/javascript"></script>
    94. 

  94. <script>
    95. 

  95. try {
    96. 

  96. var pageTracker = _gat._getTracker("UA-1656750-18");
    97. 

  97. pageTracker._trackPageview();
    98. 

  98. } catch(err) {}</script>
    99. 

  99. </body>
    100. 

  100. </html>
    101.