body {
  font-family: 'Helvetica Neue', Helvetica, 'Segoe UI', Arial, freesans;
}

#div_tree {
	font: 10px Verdana, sans-serif;
  display: inline-block;
  width: 300px;
}

#div_log {
	width: 400px;
	height: 400px;
	overflow: scroll;
	padding:10px;
	vertical-align: top;
	display: inline-block;
	border: 1px solid gray;
	font: 10px Verdana, sans-serif;
	line-height: 16px;
}
