equal
deleted
inserted
replaced
1 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> |
|
2 <head> |
|
3 <title>Mandelbrot</title> |
|
4 <script src="/static/prototype.js" type="text/javascript"></script> |
|
5 <script src="/static/dragdrop.js" type="text/javascript"></script> |
|
6 <script src="/static/builder.js" type="text/javascript"></script> |
|
7 <script src="/static/tiles2.js" type="text/javascript"></script> |
|
8 <link rel="Stylesheet" type="text/css" href="static/style.css"> |
|
9 </head> |
|
10 <body> |
|
11 <div id="wrapper"> |
|
12 <div id="viewport" style="width: 100%; height: 100%"> |
|
13 <div class="substrate"></div> |
|
14 </div> |
|
15 </div> |
|
16 |
|
17 <script type="text/javascript"> |
|
18 var tile_source = new Source("/tile", 256, 256, 0, 13); |
|
19 var main = new Viewport(tile_source, "viewport"); |
|
20 </script> |
|
21 </body> |
|
22 </html> |
|