.current-section {
    font: bold 18;
}

.text-line {
}
.keyword-highlighted {
    color: red;
}
.keyword {
}
.text {
}

.highlighted {
    color: red;
    font: bold;
}

.selected-section > .section-title {
    font: bold 18;
    color: white;
    background: #009900;
}
.section-title {
    font: bold 18;
    color: white;
    background: #999999;
}

.section-body {
    background: white;
    margin: 20px;
}

.selected-section {
    background: #eeffee;
    margin: 20px;
}

.sequence-title {
    font: bold 14;
}

.sequence-body {
}

.confirm {
    font: bold 20;
    background: #ff9999;
}

.xmlview {
    background: white;
}