pulsar-edit/pulsar
1
1
Fork 0
mirror of https://github.com/pulsar-edit/pulsar.git synced 2025-01-08 16:19:17 +03:00
Code Issues Packages Projects Releases Wiki Activity

give some visual depth to the mini editor

Browse Source 
live in harmony with the current look and feel
This commit is contained in:
Justin Palmer 2013-01-29 10:02:12 -08:00
parent bc0546f053
commit fca5c54a03
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
themes/Atom - Dark/editor.css
View File

@ -4,6 +4,10 @@
.editor.mini {
height: auto;
line-height: 20px;
border: 1px solid rgba(0, 0, 0, 0.2);
border-bottom: 1px solid rgba(180, 180, 180, 0.2);
border-right: 1px solid rgba(180, 180, 180, 0.2);
}
.editor .gutter .line-number {