body {
    overflow: hidden;
}

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

.ace_italic {
    font-style: italic;
}

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

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

#htext div {
    display: inline;
}

#content {
    position: fixed;
    top:200px;
    width: 100%;
    bottom: 0;
}

#editor {
    margin: 0;
    position: absolute;
    top: 0;
    bottom: 0;
    left: 370px;
    right: 0;
}

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