From 1c0e72cd5ac80c4ef80bd22cf3f0a3892807db4c Mon Sep 17 00:00:00 2001
From: Tom Needham <needham.thomas@gmail.com>
Date: Sat, 23 Jun 2012 14:42:37 +0000
Subject: [PATCH] Text editor: Waste less space for line numbers

---
 apps/files_texteditor/css/style.css | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/apps/files_texteditor/css/style.css b/apps/files_texteditor/css/style.css
index 82c57b88bb..14a1c4a9bb 100644
--- a/apps/files_texteditor/css/style.css
+++ b/apps/files_texteditor/css/style.css
@@ -2,13 +2,10 @@
 	position: fixed;
 	display: block;
 	top: 6.8em;
-	left: 13.5em;
+	left: 12.5em;
+	z-index: 20;
 }
 #editor_save{
 	margin-left: 7px;
 	float: left;
 }
-#saving_icon{
-	margin-top: 3px;
-	float: left;
-}