body {
    font-family: palatino, georgia, verdana, arial, sans-serif;
    text-align: center;
    overflow: hidden;
    margin-top: 0px;
    margin-bottom: 8px;
}

.buffered-window {
    text-align: center;
    margin: 0 auto;
    font-family: monaco;
    font-size: 10pt;
    line-height: 12pt;
    top: 0px;
    left: 0px;
    position: fixed;
    z-index: 0;
}

#top-window {
    z-index: 1;
}

#content {
    text-align: left;
    margin: 0 auto;
}

#cursor {
    text-decoration: blink;
}

.finished-input {
    color: gray;
}

.z-roman {
    color: #000000;
}

.z-reverse-video {
    color: #ffffff;
    background: #000000;
}

.z-bold {
    font-variant: small-caps;
}

.z-italic {
    font-style: italic;
}

.z-fixed-pitch {
    font-family: monaco;
}

#top-window .z-bold {
    font-variant: none;
    font-weight: bold;
}