<html> <head> <title>haste</title> <link rel="stylesheet" type="text/css" href="solarized_dark.css"/> <link rel="stylesheet" type="text/css" href="application.css"/> <script type="text/javascript" src="jquery-1.7.min.js"></script> <script type="text/javascript" src="highlight.min.js"></script> <script type="text/javascript" src="application.js"></script> <script type="text/javascript"> $(function() { // Set up var app = new haste('haste'); $('textarea').focus(); // Handle pops window.onpopstate = function(evt) { var path = evt.target.location.pathname; if (path === '/') { app.newDocument(true); } else { app.loadDocument(path.substring(1, path.length)); } }; }); </script> </head> <body> <pre id="box" style="display:none;"><code></code></pre> <textarea spellcheck="false" style="display:none;"></textarea> </body> </html>