index.html in erp_app-3.0.8

- old
+ new

@@ -1,17 +1,16 @@
 <!doctype html>
 <html>
   <head>
-    <title>CodeMirror 2: Scheme mode</title>
+    <title>CodeMirror: Scheme mode</title>
     <link rel="stylesheet" href="../../lib/codemirror.css">
     <script src="../../lib/codemirror.js"></script>
     <script src="scheme.js"></script>
-    <link rel="stylesheet" href="../../theme/default.css">
     <style>.CodeMirror {background: #f8f8f8;}</style>
-    <link rel="stylesheet" href="../../css/docs.css">
+    <link rel="stylesheet" href="../../doc/docs.css">
   </head>
   <body>
-    <h1>CodeMirror 2: Scheme mode</h1>
+    <h1>CodeMirror: Scheme mode</h1>
     <form><textarea id="code" name="code">
 ; See if the input starts with a given symbol.
 (define (match-symbol input pattern)
   (cond ((null? (remain input)) #f)
 	((eqv? (car (remain input)) pattern) (r-cdr input))