body {
    margin-top: 0;
}

.browser-tabs {
    display: flex;
    position: sticky;
    z-index: 10;
    top: 0;
    box-sizing: border-box;
    height: 26px;
    border-bottom: 1px solid #aaa;
    background: #ddd;
}

.browser-tabs button {
    flex: 1;
    box-sizing: border-box;
    height: 25px;
    padding: 0 4px;
    border: 0;
    border-right: 1px solid #aaa;
    background: #ddd;
    cursor: pointer;
    line-height: 23px;
}

.browser-tabs button.active {
    background: #fefffc;
    font-weight: bold;
}

#tocPanel {
    position: relative;
}

#tocPanel .index_bar {
    position: absolute;
}

#searchPanel {
    padding: 8px;
}

#fullTextSearch {
    box-sizing: border-box;
    width: 100%;
    margin: 5px 0;
}

#fullTextSearchStatus {
    display: block;
    margin: 4px 0;
    color: #444;
    font-size: 85%;
}

#fullTextSearchResults {
    max-height: calc(100vh - 118px);
    overflow-y: auto;
}

.full-text-result {
    display: block;
    width: 100%;
    margin: 5px 0 0;
    padding: 5px;
    border: 1px solid #ddd;
    background: #fff;
    color: #222;
    text-align: left;
    cursor: pointer;
}

.full-text-result:hover {
    background: #eef5ff;
}

.full-text-result strong,
.full-text-result span {
    display: block;
}

.full-text-result span {
    margin-top: 2px;
    color: #555;
    font-size: 12px;
}