body {
    overflow: hidden;
}

.container {
    width: 100%
}
.ace_bold {
    font-weight: bold;
}

.ace_italic {
    font-style: italic;
}

@header-height: 62px;

#header {
    position: fixed;
    top: 0;
    right: 0;
    height: @header-height;
    width: 100%;
    background-color: black;
}

#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;
    /*background-color: lightpink;*/
}
#editor {
    margin: 0;
    position: absolute;
    top: @tabs-height;
    bottom: 0;
    left: @content-divider;
    right: 0;
}

#tree {
    left:0;
    right:@content-divider;
    /*bottom: 0px;*/
}
#htext a {
    color: #aaf;
    font-weight: bold;
}