body {
    /*overflow-y: hidden; // todo not sure why this was enabled ... */
}

.result-grid col.direction {
    width: 30px;
}

.result-grid col.new {
    width: 32px;
}

.result-grid th.symbolDisplayName, th.pattern, th.identified {
    text-align: left;
}

.result-grid col.pattern {
    width: 150px;
}

.result-grid col.identified {
    width: 150px;
}

.result-grid col.view {
    width: 60px;
}

.result-grid tr {
    cursor: pointer;
}

.result-grid {
    /*overflow-y: scroll;*/
}

.HIGHLIGHT {
    -webkit-animation: flash 3s infinite; /* Safari 4+ */
    -moz-animation:    flash 3s infinite; /* Fx 5+ */
    -o-animation:      flash 3s infinite; /* Opera 12+ */
    animation:         flash 3s infinite; /* IE 10+ */

    -webkit-animation-iteration-count: 3;
    animation-iteration-count: 3;

}
.config .panel-body {
    min-height: 500px;
    max-height: 500px;
    overflow-y: scroll;
}

.config-save {
    margin-left: 50px;
}

.jstree-default .jstree-clicked {
    background-color: transparent;
    box-shadow: none;
}

.jstree-default .jstree-disabled.jstree-clicked {
    background-color: transparent;
    box-shadow: none;
}

.jstree-hovered {
    background-color: transparent;
    box-shadow: none;
}

.jstree-default .jstree-anchor {
    font-weight: normal;
}

.alert {
    margin-bottom: 0;
    padding: 3px 35px 3px 15px;
}

td.danger {
    background-color: #FFDDDD
}

.jqstooltip {
    -webkit-box-sizing: content-box;
    -moz-box-sizing: content-box;
    box-sizing: content-box;
}

.jstree-icon.jstree-themeicon {
    display: none;
}

.figure {
    display: table;
}

.figure .caption {
    display: table-caption;
    caption-side: bottom;
    margin-top: 5px;
    font-size: 12px;
}