cursor styles for mini editor

This commit is contained in:
Justin Palmer
2013-01-29 11:00:06 -08:00
parent b2ccc38a04
commit 10d7b3ab9f

View File

@@ -12,6 +12,13 @@
color: #333;
}
.editor.mini .cursor {
background: #333;
width: 2px;
line-height: 20px;
margin-top: 2px;
}
.editor .gutter .line-number {
padding-right: 1.3em;
min-width: 35px;