body {
    font-family: Droid Sans, Arial, sans-serif;  !important;
    font-size: 13px;
}

code {
    font-size: 100%;                        /* Overrule Bootstrap default of code being smaller than other text */
}

.navbar {
    background: linear-gradient(to right, white, #337ab7); /* To echo CodeSkulptor's headers, but lighter behind text */
    border-color: #337ab7;                                 /* ...                                                     */
}
#navbar .nav li.active a {
    background: transparent;                /* Overrule Bootstrap's default -- just use navbar background */
}
.navbar-brand {
    font-family: 'Delius', serif;           /* Same as CodeSkulptor */
    color: #006699 !important;              /* ...                  */
    font-size: 24px;                        /* ...                  */
    padding-right: 60px;                    /* Horizontal separation between brand and navigation */
}

.hideload {
    display: none;                          /* Hide info (when loading) */
}

.loadingFeedback {
  position: fixed;                          /* Nicely centered */
  top: 50%;                                 /* ...             */
  left: 50%;                                /* ...             */
  margin-top: -150px;                       /* ...             */
  margin-left: -110px;                      /* ...             */
}

.panel-heading {                            
    padding: 0;                             /* Overrule Bootstrap's default larger spacing */
}              
.panel-heading:hover {
    background: #88b5dd; /* To echo CodeSkulptor's headers, but lighter behind text */
}
.panel-group .panel + .panel {
    margin-top: 3px;                        /* Overrule Bootstrap's default larger spacing */
}
.panel-group {
    margin-bottom: 0;                       /* Overrule Bootstrap's default larger spacing */
}
.panel-body {
    padding: 15px 0 0 30px;                 /* Overrule Bootstrap's default larger spacing
                                                 except increase left indentation */
}

h4.panel-title {
    height: 100% !important;
    padding: 8px 8px 8px 8px;               /* Overrule Bootstrap's default larger spacing */
    font-weight: bold;                      /* All navigation should be bold, same size, same color */
    font-size: 13px;                        /* ...                                                  */
}
h4.panel-title[aria-expanded="true"] {
    color: red;                             /* All active navigation should be same color */
}
.nav-tabs {
    margin-bottom: 10px;
}
.nav a, #navbar .nav a {
    font-weight: bold;                      /* All navigation should be bold, same size, same color */
    color: black;                           /* ...                                                  */
}
.nav li.active a, #navbar .nav li.active a {
    color: red;                             /* All active navigation should be same color */
}


/* Split heading into two parts */
.accheadtitle {width: 350px;}
.accheadcode  {position: absolute; left: 390px; text-wrap: none; white-space: nowrap;}


#searchbox {
    font-size: 11px;                        /* A little smaller than the rest of the text */
}

.btn {
    margin-bottom: 5px;
    font-size: 11px;
}

.btn-default {
  border-color: #333 !important;
}

.btn-default.disabled, .btn-default.disabled.active, .btn-default.disabled.focus, .btn-default.disabled:active, .btn-default.disabled:focus, .btn-default.disabled:hover, .btn-default[disabled], .btn-default[disabled].active, .btn-default[disabled].focus, .btn-default[disabled]:active, .btn-default[disabled]:focus, .btn-default[disabled]:hover, fieldset[disabled] .btn-default, fieldset[disabled] .btn-default.active, fieldset[disabled] .btn-default.focus, fieldset[disabled] .btn-default:active, fieldset[disabled] .btn-default:focus, fieldset[disabled] .btn-default:hover {
  background-color: #d6d6d6 !important;
  color: #333;
}

.list-inline li {
    margin-bottom: 5px;
}

pre {
    background-color: transparent;
    border: 0px;
}

table pre {
    padding-top: 0px;
    padding-bottom: 0px;
    padding-left: 0px;
}

.table-condensed th {
    padding-top: 0px !important;
}

table.truth {border-collapse: collapse; border-spacing: 0;}
table.truth td, table.truth th {padding: 5px;}
table.truth td {text-align: center;}
table.truth th {border-bottom: solid 1px black;}
table.truth .left-border {border-left: solid 1px black;}

table.ex {border-collapse: collapse;}
table.ex thead {background: black; color: white; border: 1px solid black;}
table.ex td {border: 1px solid black; vertical-align: top;}
table.ex pre {margin: 0; padding-left: 5px; padding-right: 5px;}