
#divJS_list {
  position: absolute;
  z-index: 2;
  top: 0;
  left: 0;
  width: 200px;
  bottom: 0;
  background-color: #333333;
}

#divJS_list_split_lib {
  position: absolute;
  z-index: 2;
  top: 0;
  left: 200px;
  width: 0;
  bottom: 0;
  border-left: 1px solid #666666;
  border-right: 1px solid #222222;
}

#divJS_lib {
	position: absolute;
	z-index: 2;
  top: 0;
  left: 202px;
  width: 200px;
  bottom: 0;
  border-right: 1px solid #222222;
  border-bottom: 1px solid #222222;
  background-color: #333333;
  display: none;
}

#divJS_top {
  position: absolute;
  z-index: 2;
  top: 0;
  left: 201px;
  right: 0;
  height: 30px;
  border-top: 1px solid #666666;
  border-bottom: 1px solid #222222;
  background-color: #444444;
  display: none;
}

#divJS_code {
	position: absolute;
	z-index: 2;
  top: 32px;
  left: 201px;
  right: 0;
  bottom: 0;
	border-top: 1px solid #666666;
  border-right: 1px solid #222222;
  display: none;
}

#jsEditor_jsfiles div div,#jsEditor_global_vars div div {
  float: left;
  height: 24px;
  line-height: 24px;
  width: calc(100% - 26px);
  text-overflow: ellipsis;
  overflow: hidden;
}
#jsEditor_funcs div div {
  float: left;
  height: 24px;
  line-height: 24px;
  width: calc(100% - 45px);
  text-overflow: ellipsis;
  overflow: hidden;
}