new file versioning policy and manager. be sure to add version_folder in your conf

code/static/css/styles.css

@@ -272,3 +272,9 @@ tr:nth-child(odd) {
 .sortarrow {
     font-size: large;
 }
+
+/* editor */
+
+.href_button {
+   margin-left: 3em;
+}

code/static/js/scripts.js

@@ -155,9 +155,6 @@ function changeTitle(newTitle) {
     document.title = "Flees - " + newTitle;
 }
 
-function back() {
-	window.history.back();
-}
 
 function keyboardEntry(ev){
   var kC=ev.keyCode;
@@ -168,6 +165,9 @@ function keyboardEntry(ev){
   if (/T/.test(k)) {
 	infoToggle();
   }
+  if (/C/.test(k)) {
+	scriptToggle();
+  }
 }
 
 document.onkeyup = keyboardEntry;