[pypy-svn] r40665 - in pypy/dist/pypy/translator/js/examples: . data

Sun Mar 18 13:00:36 CET 2007

Author: fijal
Date: Sun Mar 18 13:00:30 2007
New Revision: 40665

Added:
   pypy/dist/pypy/translator/js/examples/data/style.css
Modified:
   pypy/dist/pypy/translator/js/examples/data/index.html
   pypy/dist/pypy/translator/js/examples/overmind.py
Log:
Improve style a bit (mostly by adding logo)


Modified: pypy/dist/pypy/translator/js/examples/data/index.html
==============================================================================

--- pypy/dist/pypy/translator/js/examples/data/index.html	(original)
+++ pypy/dist/pypy/translator/js/examples/data/index.html	Sun Mar 18 13:00:30 2007
@@ -2,10 +2,10 @@
 <head>
   <title>pypy.js various demos</title>
   <script src="source.js"></script>
-  <style type="text/css">
-  </style>
+  <link href="style.css" media="screen" rel="stylesheet" type="text/css"/>
 </head>
 <body>
+  <a><img alt="PyPy" height="110" id="pyimg" src="http://codespeak.net/pypy/img/py-web1.png" width="149"/></a>
   <p><b>Note: this demos are set up on the replicable xen instance, but
   please do not vandalise the machine, otherwise we would be forced to
   take it down</b></p>

Added: pypy/dist/pypy/translator/js/examples/data/style.css
==============================================================================
--- (empty file)
+++ pypy/dist/pypy/translator/js/examples/data/style.css	Sun Mar 18 13:00:30 2007
@@ -0,0 +1,5 @@
+body,body.editor,body.body {
+    font: 90% "Times New Roman", Arial, Verdana, Helvetica, serif;
+    background: White;
+    color: Black;
+}

Modified: pypy/dist/pypy/translator/js/examples/overmind.py
==============================================================================
--- pypy/dist/pypy/translator/js/examples/overmind.py	(original)
+++ pypy/dist/pypy/translator/js/examples/overmind.py	Sun Mar 18 13:00:30 2007
@@ -19,18 +19,6 @@
 TIMEOUT = 300
 pids = []
 
-#def launch_console_in_new_prcess():
-#    from pypy.translator.js.examples import pythonconsole
-#    httpd = server.create_server(server_address=('', 0),
-#                        handler=pythonconsole.RequestHandler,
-#                        server=pythonconsole.Server)
-#    port = httpd.server_port
-#    pythonconsole.httpd = httpd
-#    pid = server.start_server_in_new_process(httpd, timeout=TIMEOUT)
-#    del httpd
-#    pids.append(pid)
-#    return port
-
 def js_source(function_list):
     import over_client
     return rpython2javascript(over_client, FUNCTION_LIST)
@@ -38,6 +26,7 @@
 class Root(server.Collection):
     static_dir = py.path.local(__file__).dirpath().join("data")
     index = server.FsFile(static_dir.join("index.html"))
+    style_css = server.FsFile(static_dir.join("style.css"))
     terminal = server.Static(static_dir.join("terminal.html"))
     console = console.Root()
 

