jsoneditor/interface/interface.css

161 lines
2.3 KiB
CSS

body, html {
font-family: arial, sans-serif;
font-size: 11pt;
width: 100%;
height: 100%;
margin: 0;
padding: 0;
overflow: hidden;
}
span.header-light {
color: gray;
}
#header {
width: 100%;
height: 40px;
overflow: hidden;
background: #4D4D4D url('img/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('../jsoneditor/img/jsoneditor-icons.png') -168px 0;
}
div.convert-left {
background: url('../jsoneditor/img/jsoneditor-icons.png') -192px 0;
}