pulsar-edit/pulsar
1
1
Fork 0
mirror of https://github.com/pulsar-edit/pulsar.git synced 2024-09-22 00:19:24 +03:00
Code Issues Packages Projects Releases Wiki Activity

bump mini editor line height a little more so it's consistent with other row height

Browse Source
This commit is contained in:
Justin Palmer 2013-01-29 10:46:04 -08:00
parent 42e7a711ff
commit 72fde3b521
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
themes/Atom - Light/editor.css
View File

@ -4,7 +4,7 @@
.editor.mini {
height: auto;
line-height: 20px;
line-height: 25px;
border: 1px solid rgba(0, 0, 0, 0.2);
border-bottom: 1px solid rgba(180, 180, 180, 0.3);
border-right: 1px solid rgba(180, 180, 180, 0.3);