.CodeMirror {
    height: auto;
    border: 1px solid #DDD;
}

dl > dt {
    font-weight: bold;
    color: darkBlue;
}

.subtitle {
    color: gray;
    font-weight: 500;
    font-size: 0.75em;
}

.spacer {
    padding: 0px 5px;
}

ul.pager {
    list-style: outside none;
    display: block;
    float: right;
    margin-right: 10px;
}

ul.pager li.previous {
    display: inline-block;
    margin-right: 10px;
}

ul.pager li.next {
    display: inline-block;
}

#content > .aui-page-header {
    padding: 12px 20px;
}

.aui-header {
    background-color: #67854e;
    border-bottom: none;
}

.aui-header .aui-header-logo img {
    padding: 2px 20px 0 5px;
}

.aui-header h1 {
    min-height: 40px;
}

.aui-header h1 a:active,
.aui-header h1 a:focus,
.aui-header h1 a:hover {
    background-color: #004c75;
}

.aui-header .aui-nav .aui-dropdown2-trigger.active,
.aui-header .aui-nav a:active,
.aui-header .aui-nav a:focus,
.aui-header .aui-nav a:hover {
    background-color: #004c75;
    text-decoration: underline;
    color: white;
}

.aui-dropdown2.aui-style-default .active,
.aui-dropdown2.aui-style-default .aui-dropdown2-active,
.aui-dropdown2.aui-style-default:hover .aui-dropdown2-checkbox:not(.aui-dropdown2-disabled):hover,
.aui-dropdown2.aui-style-default:hover .aui-dropdown2-radio:not(.aui-dropdown2-disabled):hover,
.aui-dropdown2.aui-style-default:hover a:not(.aui-dropdown2-disabled):hover {
    background-color: #004c75;
    color: #fff;
}

.aui-banner.aui-banner-success {
    background-color: #8EB021;
    color: #fff;
}

.aui-banner.aui-banner-success:after {
    font-family: "Atlassian Icons";
    font-size: 16px;
    -webkit-font-smoothing: antialiased;
    font-style: normal;
    font-weight: 400;
    left: 12px;
    line-height: 1;
    margin-top: -8px;
    position: absolute;
    speak: none;
    top: 50%;
    content: "\f194";
    color: #fff
}

.tabs-pane .aui-group {
    padding-top: 10px;
}

table.notetable {
    margin: 10px;
}

table.notetable td {
    padding: 7px 10px;
    border-top: 1px solid #ccc;
}

div.description {
    margin: 10px 0px;
    padding: 20px;
    border: 1px solid #ccc;
    background-color: #fdfdfd;
}

.disabled {
    color: #bbb;
    font-style: italic;
}