Text editor: Waste less space for line numbers

This commit is contained in:
Tom Needham 2012-06-23 14:42:37 +00:00
parent 618a3c1d94
commit 5323983fc7

View file

@ -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;
}