package 11.05.2012

1634616041 · Nov 4, 2012 · 86abb02 · 86abb02
1 parent 6149ca6
commit 86abb02
Show file tree

Hide file tree

Showing 416 changed files with 84,540 additions and 197,251 deletions.
diff --git a/kitchen-sink.html b/kitchen-sink.html
@@ -1,29 +1,31 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN"
-   "http://www.w3.org/TR/html4/strict.dtd">
+<!DOCTYPE html>
 
 <html lang="en">
 <head>
     <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
     <title>Ace Kitchen Sink</title>
     <meta name="author" content="Fabian Jakobs">
     <!--
-
     Ace
       version 
       commit  
-
     -->
 
 
 
 
       <link rel="stylesheet" href="kitchen-sink/styles.css" type="text/css" media="screen" charset="utf-8">
+      <script src="http://use.edgefonts.net/source-code-pro.js"></script> 
 
 </head>
 <body>
+<div id="optionsPanel" style="position:absolute;height:100%">
   <a href="http://ajaxorg.github.com/ace/" >
     <img id="logo" src="kitchen-sink/logo.png">
   </a> 
+  <div style="position: absolute; overflow: hidden; top:80px; bottom:0">
+  <div style="width: 120%; height:100%; overflow-y: scroll">
+
   <table id="controls">
     <tr>
       <td>
@@ -232,9 +234,20 @@
         <input type="checkbox" id="fade_fold_widgets">
       </td>
     </tr>
+    <tr>
+      <td >
+        <label for="highlight_token">Show token info</label>
+      </td>
+      <td>
+        <input type="checkbox" id="highlight_token">
+      </td>
+    </tr>
   </table>
   </td></tr>
   </table>
+
+  </div>
+  </div>
 </div>
   <div id="editor"></div>