style.css

.view {
    margin-top: -52px;
    padding-top: 67px;
    min-height: 100%;
    height: auto;
    height: 100%;
}

.top-buffer {
    margin-top: 15px;
}

/*panel inside tab pane*/
.tab-pane > .panel-default {
    border-top: none;
    border-top-left-radius: 0px;
    border-top-right-radius: 0px;
}

.table {
    table-layout: fixed;
}

.table td {
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
}

.table td * {
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
}

.modal-open {
    overflow: auto;
}

.small-dialog {
    top: 10%;
}

.alert-box {
    z-index: 999;
    position: fixed;
    right: 10px;
    top: 60px;
}

.alert-hor {
    margin-left: 10px;
}

.well {
    overflow: auto;
    white-space: nowrap;
    margin: 0;
}

ul.tree {
    padding: 0;
    margin: 0;
    list-style-type: none;
    position: relative;
}

li.tree-node {
    list-style-type: none;
    border-left: 2px solid #777;
    margin-left: 1em;
}

li.tree-node div.tree-node {
    padding-left: 0.6em;
    position: relative;
}

li.tree-node div.tree-node::before {
    content: '';
    position: absolute;
    top: 0;
    left: -2px;
    bottom: 40%;
    width: 0.75em;
    border-left: 2px solid #777;
    border-bottom: 2px solid #777;
}

ul.tree > li.tree-node:last-child {
    border-left: 0;
    padding-left: 2px;
}

ul.tree > li.tree-node:last-child > div.tree-node::before {
    border-bottom-left-radius: 0.25em;
}

.label.label-button, .info-tooltip {
    cursor: pointer;
}

.label.label-button.label-code {
    padding-left: 0.2em;
}

.label-code code {
    margin-right: 0.2em;
}

.label-code.label-code-only {
	padding-right: 0.2em;
}

.label-code.label-code-only code {
	margin-right: 0;
}

.label.label-default.label-button:hover {
    box-shadow: 0 0 1px 1px #777777;
}
.label.label-primary.label-button:hover {
    box-shadow: 0 0 1px 1px #337ab7;
}
.label.label-warning.label-button:hover {
    box-shadow: 0 0 1px 1px #f0ad4e;
}

.hidden-input {
    width: 0;
    padding: 0;
    border: 0;
}

.popover {
    max-width: 400px;
}

.popover-content {
    padding: 9px 10px;
}