custom.css

/* The fixed navbar requires changing the padding */
body { padding-top: 70px; }

/* From http://stackoverflow.com/questions/880512/prevent-text-selection-after-double-click */
span.disable-selection {
    -webkit-user-select: none; /* webkit (safari, chrome) browsers */
    -moz-user-select: none; /* mozilla browsers */
    -khtml-user-select: none; /* webkit (konqueror) browsers */
    -ms-user-select: none; /* IE10+ */
}

.token {
    margin-left: 5px;
    margin-right: 5px;
}

.token-separator {
    border-left:1px dashed black;
    border-right:1px dashed black;
    position:relative;
}

.entity-merge {
    cursor: col-resize;
}

.entity-separator {
    border-left: 1px solid blue;
    height: 100%;
    position:relative;
}

/* Written by Vitaliy Bychik
 * Source: http://stackoverflow.com/questions/11167628/trees-in-twitter-bootstrap
 * Based upon http://thecodeplayer.com/walkthrough/css3-family-tree
 */
.tree li {
    margin: 0px 0;

	list-style-type: none;
    position: relative;
	padding: 20px 5px 0px 5px;
}

.tree li::before{
    content: '';
	position: absolute;
    top: 0;
	width: 1px;
    height: 100%;
	right: auto;
    left: -20px;
	border-left: 1px solid #ccc;
    bottom: 50px;
}
.tree li::after{
    content: '';
	position: absolute;
    top: 30px;
	width: 25px;
    height: 20px;
	right: auto;
    left: -20px;
	border-top: 1px solid #ccc;
}
.tree li a{
    display: inline-block;
	border: 1px solid #ccc;
	padding: 5px 10px;
	text-decoration: none;
	color: #666;
	font-family: arial, verdana, tahoma;
	font-size: 11px;
    border-radius: 5px;
	-webkit-border-radius: 5px;
	-moz-border-radius: 5px;
}

/*Remove connectors before root*/
.tree > ul > li::before, .tree > ul > li::after{
	border: 0;
}
/*Remove connectors after last child*/
.tree li:last-child::before{
      height: 30px;
}

/* hover effects */
/*We will apply the hover effect the the lineage of the element also*/
.tree li a:hover,
.tree li a:hover+ul li a {
	background: #c8e4f8; color: #000; border: 1px solid #94a0b4;
}
/*Connector styles on hover*/
.tree li a:hover+ul li::after,
.tree li a:hover+ul li::before,
.tree li a:hover+ul::before,
.tree li a:hover+ul ul::before {
	border-color:  #94a0b4;
}

.tree li .tree-node-selected {
  font-weight: bold;
}