.div_left .json-editor
{
    width: 300pt;
    margin-right: 10pt;
}

/* In button groups, bootstrap fouls up radius calculation for buttons next to 
   hidden buttons; over-ride these selector stylings: */
.btn-group > .btn:first-child:not(:last-child):not(.dropdown-toggle),
    .btn-group > .btn:not(:first-child):not(:last-child):not(.dropdown-toggle),
    .btn-group > .btn:last-child:not(:first-child), 
    .btn-group > .dropdown-toggle:not(:first-child) 
{
    margin-right: 5px;
    border-radius: 7px;
}

.json-editor .btn-default
{
    height: 29px;
    padding: 5px;
    font-size: 15px;
    vertical-align: baseline;
    -khtml-border-radius: 7px;
    -moz-border-radius: 7px;
    -webkit-border-radius: 7px;
    border-radius: 7px;
}

.json-editor h3
{
    margin-top: 0px;
    margin-bottom: 5px;
    margin-left: 5px;
    margin-right: 0px;
    font-size: 20px;
}

.json-editor label
{
    margin-top: 0px;
    margin-bottom: 0px;
    margin-left: 5px;
    margin-right: 0px;
    padding: 0px 0px 0px 0px;
}

.json-editor input
{
    margin-left: 0px;
    margin-right: 0px;
    margin-top: 0px;
    margin-bottom: 3px;
    padding: 5px 5px 5px 5px;
}

i.icon-collapse:before
{
    content: url(../images/triangle_down.png);
}

i.icon-expand:before
{
    content: url(../images/triangle_side.png);
}

i.icon-delete:before
{
    content: url(../images/trash.png);
}

i.icon-movedown:before
{
    content: url(../images/move_down_blu.png);
}

i.icon-moveup:before
{
    content: url(../images/move_up_blu.png);
}

i.icon-add:before
{
    content: url(../images/plus_grn.png);
}