From b9e26f2b8dbcb6e308fe7bd88a3461cf0a7462f7 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Sun, 23 Jan 2011 14:26:06 +0100
Subject: [PATCH] move css to an external file

---
 editor.html | 61 +----------------------------------------------------
 1 file changed, 1 insertion(+), 60 deletions(-)
diff --git a/editor.html b/editor.html
index f1b20bf5..30e67abb 100644
--- a/editor.html
+++ b/editor.html
@@ -6,66 +6,7 @@
     <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
     <title>Editor</title>
     <meta name="author" content="Fabian Jakobs">
-    
-    <style type="text/css" media="screen">
-    
-    html {
-        height: 100%;
-        overflow: hidden;
-    }
-    
-    body {
-        overflow: hidden;
-        margin: 0;
-        padding: 0;
-        height: 100%;
-        width: 100%;
-        font-family: Arial, Helvetica, sans-serif, Tahoma, Verdana, sans-serif;
-        font-size: 12px;
-        background: rgb(14, 98, 165);
-        color: white;
-    }
-    
-    #editor {  
-        top: 55px;
-        left: 0px;
-        background: white;
-    }
-    
-    #controls {
-        width: 100%;
-        height: 55px;
-    }
-  
-    #jump {
-        position: absolute;
-        width: 10px;
-        height: 10px;
-        border: 1px solid red;
-        z-index: 10000;
-        display: none;
-    }
-    
-    #cockpitInput {
-        position: absolute;
-        width: 100%;
-        bottom: 0;
-
-        border: none; outline: none;
-        font-family: consolas, courier, monospace;
-        font-size: 120%;
-    }
-
-    #cockpitOutput {
-        padding: 10px;
-        margin: 0 15px;
-        border: 1px solid #AAA;
-        -moz-border-radius-topleft: 10px;
-        -moz-border-radius-topright: 10px;
-        border-top-left-radius: 4px; border-top-right-radius: 4px;
-        background: #DDD; color: #000;
-    }
-    </style>
+    <link rel="stylesheet" href="demo/styles.css" type="text/css" media="screen" charset="utf-8">
 </head>
 <body>
     <div id="jump"></div>
