html, body {
    padding: 0;
    margin: 0;
    width: 100%;
    height: 100%;
}

.nav-button {
    position: absolute;
    top: 8px;
    left: 8px;
}

#docs-list {
    margin: 50px 8px 8px 8px;
}

#docs-list .docs {
    border-bottom: 1px solid #ccc;
    margin: 12px 0;
}

#split-container {
    height: 100%;
    width: 100%;
}

#graph-header {
    border-bottom: 2px solid;
    position: fixed;
    background-color: white;
}

#graph-container {
    width: 100%;
    overflow-x: hidden;
    overflow-y: hidden;
    visibility: hidden;
}

#graph {
    display: block;
    overflow-y: hidden;
}

#docs-container {
    width: 100%;
    height: 300px;
    position: relative;
    border-top: 3px solid #ccc;
    display: none;
    overflow-y: scroll;
}
#docs-close {
    display: block;
    position: fixed;
    font-size: 1.4em;
    width: 24px;
    height: 24px;
    line-height: 24px;
    right: 8px; /** Was 1448 **/
    background: white;
    color: #333;
    text-align: center;
    text-decoration: none;
    top: 254px;
}

#docs-close:hover {
    background: #ccc;
}
#docs-scroll {
    overflow-y: scroll;
}
#docs {
    padding: 8px;
}

.docs h2 {
    font-size: 24px; /* h3 */
    margin-top: 0;
}
.docs h3 {
    font-size: 18px; /* h4 */
}
.docs h2 em, .docs h3 em {
    font-size: 14px;
    color: #999;
    padding-left: 4px;
    font-style: normal;
}
.docs pre {
    margin: 8px;
    padding: 4px;
}
.docs .select-object.missing {
    color: #c7254e;
}

