.star {
    margin-top: 0.5em;
    max-width: 98%;
}

.uneditable {
    font-weight: bold;
}
.editable {
    font-weight: normal;
}
.oneindent {
    position: relative;
    left: 30px;
}
.twoindent {
    position: relative;
    left: 60px;
}
.line {
    margin-top: 5px;
    margin-bottom: 5px;
}
.nodict {
    background-color: brown;
}
.containsunicode {
    background-color: yellow;
}
.illegalnull {
    background-color: orange;
}
.warn {
    background-color:red;
}
.highlight:hover {
    background-color: #ededed;
}