body {
    font-size: 16px;
    line-height: 22px;
    color: #333;
    background: #f6f6f6 url(../images/background.png);
    font-family: "PT Serif", "Georgia", "Helvetica Neue", "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, sans-serif !important;
}

.container {
    width: 1050px;
    margin: 0;
    padding: 30px 0px 40px 40px;
    text-align: justify;
}

code, pre, tt, textarea {
    font-family: Monaco, Consolas, "Lucida Console", monospace;
    font-size: 12px;
    /* font-weight: bold; */
    line-height: 18px;
    color: #255;
    white-space: pre-wrap;
    word-wrap: break-word;
}

tt {
    // display: inline-block;
    background: #fff;
    border: 1px solid #dedede;
    padding: 0px 0.2em;
}

pre {
    padding: 3px 0 3px 12px;
    font-size: 12px;
}

.jcCode {
    background: #f6f6f6 url(../images/background.png);
    padding: 10px;
}

.jcResult {
    line-height: 14px;
    width: 78ex;
    font-size: 11px;
}

.jcToolbar {
    background-color: white;
}

.jcToolbar tr td {
    padding: 10px;
}

.example textarea {
    resize: vertical;
    cursor: text;
}

.example td {
    padding: 0px;
    vertical-align: top;
}

.example td + td {
  border-left: 2px dotted #d8d8d8;
}

table.example {
    position: relative;
    background: #fff;
    border: 2px solid #d8d8d8;
    -webkit-box-shadow: 0px 0px 4px rgba(0,0,0,0.23);
    -moz-box-shadow: 0px 0px 4px rgba(0,0,0,0.23);
    box-shadow: 0px 0px 4px rgba(0,0,0,0.23);
    zoom: 1;
}

.toolbar {
  margin-top: 4px;
}

/*----------------------------- Mini Buttons ---------------------------------*/
.minibutton {
  float: left;
  font-family: "Lucida Console", monospace;
  font-size: 8px;
  cursor: pointer;
  color: #333;
  text-shadow: #eee 0 1px 1px;
  font-weight: bold;
  font-size: 11px;
  line-height: 11px;
  padding: 5px 10px 6px;
  height: 11px;
  text-align: center;
  -webkit-border-radius: 3px; -moz-border-radius: 3px; border-radius: 3px;
  box-shadow: 0 1px 2px rgba(0,0,0,0.2); -webkit-box-shadow: 0 1px 2px rgba(0,0,0,0.2); -moz-box-shadow: 0 1px 2px rgba(0,0,0,0.2);
  border: 1px solid #b2b2b2; border-top-color: #c9c9c9; border-bottom-color: #9a9a9a;
}
  .minibutton:active {
    border-color: #aaa;
    box-shadow: 0 1px 2px #e4e4e4; -webkit-box-shadow: 0 1px 2px #e4e4e4; -moz-box-shadow: 0 1px 2px #e4e4e4;
  }
  .minibutton::selection {
    background: transparent;
  }
  .minibutton ::-moz-selection {
    background: transparent;
  }
  .minibutton.ok {
    color: #fff;
    border-color: #4ba47c; border-top-color: #53b388; border-bottom-color: #459671;
    text-shadow: #aaa 0 -1px 0;
  }
  .minibutton.dark {
    border: 0;
    color: #fff;
    box-shadow: none; -webkit-box-shadow: none; -moz-box-shadow: none;
    text-shadow: none;
  }