body, html {
    font-family: arial, sans-serif;
    font-size: 11pt;

    width: 100%;
    height: 100%;
    margin: 0;
    padding: 0;

    overflow: hidden;
}

h1 {
    font-size: 18px;
    padding: 10px 15px;
    margin: 0;
}

span.header-light {
    color: gray;
}

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

    background-color: #4D4D4D;
    color: white;
}

#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.hideAds {
    color: #BFBFBF;
    text-decoration: none;
}
a.footer:hover, a.hideAds:hover {
    color: red;
    text-decoration: underline;
}

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

div.hideAds {
    text-align: center;
    color: #BFBFBF;
    font-size: 10pt;

    position: absolute;
    left: 0;
    top: 10px;
    width: 160px;
}

div.adSpace {
    height: 15px;
}

a.hideAds {
    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('../jsoneditor/img/jsoneditor-icons.png') -168px 0;
}

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