Minor css tweaks

This commit is contained in:
jos 2018-01-03 10:43:57 +01:00
parent 9eb944d926
commit 2466b6d4da
2 changed files with 11 additions and 7 deletions

View File

@ -185,7 +185,7 @@ div.jsoneditor-list {
.jsoneditor-value, .jsoneditor-value,
.jsoneditor-readonly, .jsoneditor-readonly,
.jsoneditor-delimiter { .jsoneditor-delimiter {
line-height: 18px; line-height: 20px;
font-family: droid sans mono, consolas, monospace, courier new, courier, sans-serif; font-family: droid sans mono, consolas, monospace, courier new, courier, sans-serif;
font-size: 10pt; } font-size: 10pt; }
@ -237,7 +237,7 @@ div.jsoneditor-list {
margin-left: 5px; } margin-left: 5px; }
.jsoneditor-delimiter-end { .jsoneditor-delimiter-end {
margin-left: 25px; } margin-left: 27px; }
.jsoneditor-readonly:focus, .jsoneditor-readonly:focus,
.jsoneditor-readonly:hover { .jsoneditor-readonly:hover {
@ -253,7 +253,8 @@ div.jsoneditor-list {
margin-top: 2px; margin-top: 2px;
height: 14px; height: 14px;
line-height: 14px; line-height: 14px;
font-size: 80%; } font-size: 80%;
cursor: pointer; }
.jsoneditor-value.jsoneditor-string { .jsoneditor-value.jsoneditor-string {
color: #008000; } color: #008000; }
@ -553,10 +554,10 @@ div.jsoneditor-node-container {
div.jsoneditor-node-container div.jsoneditor-insert-area:after { div.jsoneditor-node-container div.jsoneditor-insert-area:after {
content: ''; content: '';
position: absolute; position: absolute;
top: -6px; top: -7px;
right: 0; right: 0;
width: 60px; width: 60px;
height: 18px; height: 20px;
background: inherit; } background: inherit; }
div.jsoneditor-node-container.jsoneditor-hover { div.jsoneditor-node-container.jsoneditor-hover {
background-color: #d3d3d3; } background-color: #d3d3d3; }
@ -679,4 +680,5 @@ div.jsoneditor-code {
height: 20px; height: 20px;
padding: 0; padding: 0;
margin: 0 4px; margin: 0 4px;
background: url("img/jsoneditor-icons.svg") -171px -49px; } background: url("img/jsoneditor-icons.svg") -171px -49px;
cursor: pointer; }

View File

@ -16,7 +16,7 @@ $input-padding: 5px;
// TODO: split this scss file into separate files per React component // TODO: split this scss file into separate files per React component
$line-height: 18px; $line-height: 20px;
$insert-area-height: 6px; $insert-area-height: 6px;
.jsoneditor { .jsoneditor {
@ -234,6 +234,7 @@ div.jsoneditor-list {
height: 14px; height: 14px;
line-height: 14px; line-height: 14px;
font-size: 80%; font-size: 80%;
cursor: pointer;
} }
@ -804,4 +805,5 @@ div.jsoneditor-code {
padding: 0; padding: 0;
margin: 0 4px; margin: 0 4px;
background: url('img/jsoneditor-icons.svg') -171px -49px; background: url('img/jsoneditor-icons.svg') -171px -49px;
cursor: pointer;
} }