div#logo {
    position: fixed;
    left: 10px;
    top: 10px;
    bottom: 10px;
    width: 76px;
    font-size: 10px;
}

div#banner {
    position: fixed;
    left: 86px;
    right: 10px;
    top: 10px;
    border: 2px solid #bbccdd;
    border-radius: 5px 5px;
    height: 28px;
}

div#view {
    position: fixed;
    left: 86px;
    right: 10px;
    top: 48px;
    bottom: 10px;
    overflow: auto;
}

div#vtabs {
    position: absolute;
    top: 4px;
    left: 4px;
    font-weight: bold;
}

div#wait {
    position: fixed;
    left: 0;
    top: 0;
    right: 0;
    bottom: 0;
}

div.waitOver {
    position: fixed;
    left: 0;
    top: 0;
    right: 0;
    bottom: 0;
    z-index: 98;
    cursor: wait;
}

div.waitInfo {
    position: fixed;
    top: 0.1em;
    right: 0.1em;
    padding: 0.3em;
    border: thin solid black;
    border-radius: 5px;
    background: #dddddd;
    color: black;
    z-index: 99;
    cursor: wait;
    font-weight: bold;
    font-size: 200%;
}

div.copyright {
    font-size: 6px;
}