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;
    /* TODO
    overflow: hidden;
    */

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

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

#menu {
    position: absolute;
    top: 5px;
    right: 15px;
    font-size: 11pt;
}

#menu ul {
    list-style: none;
    margin: 0;
    padding: 0;
    clear: both;
}

#menu ul li {
    color: #e6e6e6;
    background: none;
    border: none;
    border-right: 1px solid #737373;
    height: 30px;
    padding: 0;
    margin: 0;
    float: left;
    position: relative;

    text-decoration: none;
}

#menu ul li:first-child {
    border-left: 1px solid #737373;
}

#menu ul li:hover {
    color: white;
    background-color: #737373;
}

#menu ul li ul {
    display: none;
}

#menu ul li:hover > ul {
    display: block;
}

#menu ul li ul {
    position: absolute;
    top: 30px;
    left: 0;
    z-index: 999;

    background: #f5f5f5;
    border: 1px solid lightgray;
    box-shadow: 0 0 15px rgba(128, 128, 128, 0.5);
}

#menu ul li ul li {
    color: #737373;
    background: none;
    border: none;
    margin: 0;
    padding: 0;
}

#menu ul li ul li:first-child {
    border-left: none;
}

#menu ul li ul li:hover {
    background-color: white;
}

#menu a {
    padding: 6px 10px;
    display: block;
    cursor: pointer;
    text-decoration: none;
    color: white;
}

#menu ul li ul li a {
    color: #737373;
    width: 80px;
}

#menu ul li #openMenu_Dialect li a {
    width: 95px;
}

#openMenuButton {
    font-size: 75%;
    margin-left: 2px;
}
#menu #open {
    cursor: default;
}

/* TODO: enable the menu with keys (when openMenuButton is active) */

#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;
    text-align: center;
}

#codeEditor, #treeEditor {
    height: 100%;
    width: 550px;

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

#codeEditor {
    float: left;
    padding: 15px 0 15px 15px;
}

#treeEditor {
    /*float: left;*/
    padding: 15px 15px 15px 0;
    display: inline-block;
}

#splitter {
    text-align: center;
    float: left;
    height: 100%;
    padding: 15px;
    -moz-box-sizing: border-box;
    -webkit-box-sizing: border-box;
    box-sizing: border-box;
}

#buttons {
    display: inline-block;
    margin: 0 0 15px 0;
}

#splitter #toTree {
    margin: 40px 0 0 0 ;
}

#splitter #toCode {
    margin: 20px 0 0 0 ;
}

#splitter #drag {
    font-size: 32px;
    color: lightgray;
    border-radius: 3px;
    min-width: 24px;
    cursor: col-resize;
}

#splitter #drag:hover,
#splitter #drag.active {
    color: gray;
    background-color: #f5f5f5;

}

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

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

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

div.error, div.notification {
    border-radius: 2px;
    padding: 5px;
    margin: 5px;
    box-shadow: 0 0 15px rgba(128, 128, 128, 0.5);

    /* TODO: add some transition effect */
}
div.error {
    color: red;
    background-color: #FFC0CB;
    border: 1px solid red;
}
div.notification {
    color: #1a1a1a;
    background-color: #FFFFAB;
    border: 1px solid #e6d600;
}
pre.error {
    margin: 0 0 10px 0;
    white-space: pre-wrap;
    font-family: droid sans mono, monospace, courier new, courier, sans-serif;
    font-size: 10pt;
}
a.error {
    color: red;
    font-size: 8pt;
}

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

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

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

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

.btn {
  display: inline-block;
  *display: inline;
  padding: 4px 12px;
  margin-bottom: 0;
  *margin-left: .3em;
  font-size: 14px;
  line-height: 20px;
  color: #333333;
  text-align: center;
  text-shadow: 0 1px 1px rgba(255, 255, 255, 0.75);
  vertical-align: middle;
  cursor: pointer;
  background-color: #f5f5f5;
  *background-color: #e6e6e6;
  background-image: -moz-linear-gradient(top, #ffffff, #e6e6e6);
  background-image: -webkit-gradient(linear, 0 0, 0 100%, from(#ffffff), to(#e6e6e6));
  background-image: -webkit-linear-gradient(top, #ffffff, #e6e6e6);
  background-image: -o-linear-gradient(top, #ffffff, #e6e6e6);
  background-image: linear-gradient(to bottom, #ffffff, #e6e6e6);
  background-repeat: repeat-x;
  border: 1px solid #cccccc;
  *border: 0;
  border-color: #e6e6e6 #e6e6e6 #bfbfbf;
  border-color: rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.25);
  border-bottom-color: #b3b3b3;
  -webkit-border-radius: 4px;
     -moz-border-radius: 4px;
          border-radius: 4px;
  filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ffffffff', endColorstr='#ffe6e6e6', GradientType=0);
  filter: progid:DXImageTransform.Microsoft.gradient(enabled=false);
  *zoom: 1;
  -webkit-box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.2), 0 1px 2px rgba(0, 0, 0, 0.05);
     -moz-box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.2), 0 1px 2px rgba(0, 0, 0, 0.05);
          box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.2), 0 1px 2px rgba(0, 0, 0, 0.05);
}

/*From Bootstrap*/

.btn:hover,
.btn:focus,
.btn:active,
.btn.active,
.btn.disabled,
.btn[disabled] {
  color: #333333;
  background-color: #e6e6e6;
  *background-color: #d9d9d9;
}

.btn:active,
.btn.active {
  background-color: #cccccc \9;
}

.btn:first-child {
  *margin-left: 0;
}

.btn:hover,
.btn:focus {
  color: #333333;
  text-decoration: none;
  background-position: 0 -15px;
  -webkit-transition: background-position 0.1s linear;
     -moz-transition: background-position 0.1s linear;
       -o-transition: background-position 0.1s linear;
          transition: background-position 0.1s linear;
}

.btn:focus {
  outline: thin dotted #333;
  outline: 5px auto -webkit-focus-ring-color;
  outline-offset: -2px;
}

.btn.active,
.btn:active {
  background-image: none;
  outline: 0;
  -webkit-box-shadow: inset 0 2px 4px rgba(0, 0, 0, 0.15), 0 1px 2px rgba(0, 0, 0, 0.05);
     -moz-box-shadow: inset 0 2px 4px rgba(0, 0, 0, 0.15), 0 1px 2px rgba(0, 0, 0, 0.05);
          box-shadow: inset 0 2px 4px rgba(0, 0, 0, 0.15), 0 1px 2px rgba(0, 0, 0, 0.05);
}

.btn.disabled,
.btn[disabled] {
  cursor: default;
  background-image: none;
  opacity: 0.65;
  filter: alpha(opacity=65);
  -webkit-box-shadow: none;
     -moz-box-shadow: none;
          box-shadow: none;
}

.btn-success {
  color: #ffffff;
  text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.25);
  background-color: #5bb75b;
  *background-color: #51a351;
  background-image: -moz-linear-gradient(top, #62c462, #51a351);
  background-image: -webkit-gradient(linear, 0 0, 0 100%, from(#62c462), to(#51a351));
  background-image: -webkit-linear-gradient(top, #62c462, #51a351);
  background-image: -o-linear-gradient(top, #62c462, #51a351);
  background-image: linear-gradient(to bottom, #62c462, #51a351);
  background-repeat: repeat-x;
  border-color: #51a351 #51a351 #387038;
  border-color: rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.1) rgba(0, 0, 0, 0.25);
  filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ff62c462', endColorstr='#ff51a351', GradientType=0);
  filter: progid:DXImageTransform.Microsoft.gradient(enabled=false);
}

.btn-success:hover,
.btn-success:focus,
.btn-success:active,
.btn-success.active,
.btn-success.disabled,
.btn-success[disabled] {
  color: #ffffff;
  background-color: #51a351;
  *background-color: #499249;
}

.btn-success:active,
.btn-success.active {
  background-color: #408140 \9;
}