body {
  padding-top: 60px;
}

.CodeMirror {
  width: 930px;
  font-size: 16px;
  cursor: text;

  /* ported from Bootstrap 2.0.2 */
  background: #fff;
  margin: 0;
  overflow: auto;
  vertical-align: top;
  line-height: 18px;
  display: inline-block;
  padding: 4px;
  border: 1px solid #cccccc;
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
  border-radius: 3px;
  -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
  -moz-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
  box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
  -webkit-transition: border linear 0.2s, box-shadow linear 0.2s;
  -moz-transition: border linear 0.2s, box-shadow linear 0.2s;
  -ms-transition: border linear 0.2s, box-shadow linear 0.2s;
  -o-transition: border linear 0.2s, box-shadow linear 0.2s;
  transition: border linear 0.2s, box-shadow linear 0.2s;
}

.CodeMirror-focused {
  /* ported from Bootstrap 2.0.2 */
  border-color: rgba(82, 168, 236, 0.8);
  -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 8px rgba(82, 168, 236, 0.6);
  -moz-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 8px rgba(82, 168, 236, 0.6);
  box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 8px rgba(82, 168, 236, 0.6);
  outline: 0;
  outline: thin dotted \9;
  /* IE6-9 */

}

#results-table {
  margin-top: 20px;
  width: 100%;
}

#results-table th {
  font-weight: bold;
  text-align: left;
  border-bottom: 1px solid #000;
}

#results-table th, #results-table td {
  font-family: Courier, fixed;
  font-size: 14px;
}

.status .indicator {
  text-indent: -9999px;
  display: inline-block;
  width: 6px;
  height: 6px;
  margin-bottom: 2px;
  -webkit-border-radius: 3px;
  -moz-border-radius: 3px;
  border-radius: 3px;
}

.status .indicator-error {
  background: #e00;
}

.status .indicator-done {
  background: #080;
}

.status .indicator-loading {
  background: #fc0;
}

#query-form .actions {
  margin-top: 10px;
}

#spinner {
  display: block;
  float: left;
  padding-top: 3px;
  width: 13px;
  height: 13px;
  margin-right: 10px;
}

.deemphasized {
  color: #999;
}

#query-actions {
  float: right;
  margin-top: 1em;
}

button.star .starred-contents {
  display: none;
}

button.starred .starred-contents {
  display: inline;
}

button.starred .unstarred-contents {
  display: none;
}

#query-properties-form {
  display: none;
}