@charset "UTF-8";

.large_25 {
    width: 25px;
}
.text_centered {
    text-align: center;
}
.text_left_aligned { 
    text-align: left;
}
.text_right_aligned { 
    text-align: right;
}

.unsemantized {
    color: #ba0000;
}
.result_counter {
    color: #C6C6C6;
}

.term-list-label {
    width : 500px;
}

.searchmatch {
    color: #c000c0;
}

.jstree-error {
    font-weight: bold;
    color: red;
}
