Latest local changes for branching (2).

2013-03-16 16:11:34 +01:00
parent 28046f4a66
commit 451e9464a3
95 changed files with 5281 additions and 62 deletions
@@ -0,0 +1,16 @@
+.ace_gutter {
+	-webkit-touch-callout: none;
+	-webkit-user-select: none;
+	-khtml-user-select: none;
+	-moz-user-select: none;
+	-ms-user-select: none;
+	user-select: none;
+}
+
+.ace_sb {
+	overflow-y: hidden !important;
+}
+
+#editor {
+	background: #272822;
+}