File: js/interface.css

span.header-light {
    color: gray;
}

#header {
    width: 100%;
    height: 40px;
    overflow: hidden;

    background: #4D4D4D url('images/header_background.png');
    color: white;
}

#logo {
    height: 32px;
    margin: 4px 10px;
    border: none;
}

#auto {
    width: 100%;
    height: 100%;

    margin: -40px 0 -24px 0;
    padding: 40px 0  24px 0;

    -moz-box-sizing: border-box;
    -webkit-box-sizing: border-box;
    box-sizing: border-box;

    overflow: hidden;
}

#contents {
    width: 100%;
    height: 100%;

    overflow: hidden;
}

#jsonformatter, #jsoneditor {
    float: left;
    height: 100%;
    width: 400px;

    padding: 15px;

    -moz-box-sizing: border-box;
    -webkit-box-sizing: border-box;
    box-sizing: border-box;
}

#splitter {
    float: left;
    height: 100%;
    cursor: col-resize;
}

#footer {
    width: 100%;
    height: 23px;
    font-size: 10pt;

    overflow: hidden;
    color: #BFBFBF;
    border-top: 1px solid lightgray;
    text-align: center;
    background-color: #F5F5F5;
}
#footer-inner {
    margin: 4px;
}

a.header {
    color: white;
    text-decoration: none;
}
a.footer, a.adInfo {
    color: #BFBFBF;
    text-decoration: none;
}
a.footer:hover, a.adInfo:hover {
    color: red;
    text-decoration: underline;
}

#ad {
    float: left;
    padding: 40px 0 15px 0;
    position: relative;
}

#adInfo {
    text-align: center;
    color: #BFBFBF;
    font-size: 10pt;
    background-color: #f5f5f5;
    line-height: 150%;

    position: absolute;
    left: 0;
    top: 15px;
    width: 160px;
    padding-bottom: 5px;
}

#chromeAppInfo {
    line-height: normal;
    padding: 0 5px 20px 5px;
}



div.adSpace {
    height: 15px;
}

a.adInfo {
    text-decoration: underline;
}

div.error {
    color: red;
    background-color: #FFC0CB;
    border: 1px solid red;
    border-radius: 3px;
    padding: 5px;
    margin: 5px;
}

button.convert {
    cursor: default;
    padding: 2px;
}

div.convert-right, div.convert-left {
    width: 24px;
    height: 24px;
    margin: 0;
}

div.convert-right {
    background: url('images/jsoneditor-icons.png') -168px 0;
}

div.convert-left {
    background: url('images/jsoneditor-icons.png') -192px 0;
}