OLD | NEW |
| (Empty) |
1 <!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> | |
2 <html><head> | |
3 <script src="../src/prettify.js"></script> | |
4 <script src="../src/lang-css.js"></script> | |
5 <style> | |
6 body { margin: 0; padding: 0 } | |
7 pre { margin: 0 } | |
8 </style> | |
9 </head> | |
10 <script> | |
11 // This page displays some code styled using a theme named in the | |
12 // query part of the URL. | |
13 var themeName = decodeURIComponent(document.location.search.replace(/^\?/, '')); | |
14 | |
15 // Call out to the parent so that it can resize the iframe once this | |
16 // document's body is loaded. | |
17 function adjustHeightInParent() { | |
18 if (parent !== window) { | |
19 try { | |
20 var div = document.body.getElementsByTagName('div')[0]; | |
21 parent.adjustChildIframeSize( | |
22 themeName, div.offsetWidth, div.offsetHeight); | |
23 } catch (ex) { | |
24 // Can happen when this page is opened in its own tab. | |
25 } | |
26 } | |
27 } | |
28 | |
29 // Load the necessary CSS | |
30 (function () { | |
31 document.title = 'Theme ' + themeName; | |
32 // Load the stylesheet that we're demoing. | |
33 var link = document.createElement('link'); | |
34 link.rel = 'stylesheet'; | |
35 link.type = 'text/css'; | |
36 link.href = themeName === 'default' | |
37 ? '../src/prettify.css' : themeName + '.css'; | |
38 document.getElementsByTagName('head')[0].appendChild(link); | |
39 })(); | |
40 </script> | |
41 | |
42 <body onload="prettyPrint(); adjustHeightInParent()"> | |
43 <div style="width: 40em; display: inline-block"> | |
44 <pre class="prettyprint lang-html linenums"> | |
45 <script type="text/javascript"> | |
46 // Say hello world until the user starts questioning | |
47 // the meaningfulness of their existence. | |
48 function helloWorld(world) { | |
49 for (var i = 42; --i >= 0;) { | |
50 alert('Hello ' + String(world)); | |
51 } | |
52 } | |
53 </script> | |
54 <style> | |
55 p { color: pink } | |
56 b { color: blue } | |
57 u { color: "umber" } | |
58 </style> | |
59 </pre> | |
60 </div> | |
61 </body></html> | |
OLD | NEW |