body {
  overflow: hidden;
}

.container {
  width: 100%
}

.ace_bold {
  font-weight: bold;
}

.ace_italic {
  font-style: italic;
}

@header-height: 67px;

#header {
  position: fixed;
  top: 0;
  right: 0;
  height: @header-height;
  width: 100%;
  background-color: black;
  z-index: 1000; /* fixes chrome dropdown-menu. TODO: Why do I need to mess with z-index only to make Chrome work?*/
}

#htext {
  padding-left: 20px;
  color: white;
  height: 20px;
  font-family: baskerville, palatino, 'palatino linotype', georgia, serif;
}

#htext div {
  display: inline;
}

.navbar img.brand {
  height: 32px;
  padding-top: 5px;
  padding-right: 10px;
  padding-bottom: 5px;
}

@content-divider: 150px;

#content {
  position: fixed;
  top: @header-height;
  width: 100%;
  bottom: 0;
}

#main {
  left: @content-divider;
  right: 0;
}

@tabs-height: 38px;

#tabs {
  margin: 0;
  position: absolute;
  top: 0;
  height: @tabs-height;
  left: @content-divider;
  right: 0;
}

#editor {
  margin: 0;
  position: absolute;
  top: @tabs-height;
  bottom: 0;
  left: @content-divider;
  right: 0;
}

#project_tree {
  left: 0;
  right: @content-divider;
  width: @content-divider;
  margin: 5px;
}

#project_tree input {
  width: 125px;
}

#project_tree select {
  width: 140px;
}

#htext a {
  color: #aaf;
  font-weight: bold;
}

.nav i[class*="icon-"] {
  vertical-align: middle;
}

/* Automaticaly make icon-* to render white icons
.navbar-inverse i[class*="icon-"] {
  background-image: url("/lib/img/glyphicons-halflings-white.png");
}
 end -- icon inverse mod */