/* See http://www.faqs.org/docs/htmltut/character_famsupp_199.html and
http://www.webstyleguide.com/type/face.html

# Change log
2003-12-21 Added caption, misc. tweaks to comments
2003-11-01 Added BODY section
2003-11-01 Production
2003-09 First few versions
*/

BODY {
    margin : 0em;
}

/* The title bar across the top of the page */
.title {
    font-family : Verdana, Arial, Helvetica, sans-serif;
    font-weight : 900;
    text-align : center;
    font-size : 200%;
    background-color : #C0C0C0;
    border-bottom : solid;
    border-bottom-width : thin;
    border-color : #000000;
}

/* The navigation section on the left of the page */
.nav {
    font-family : Verdana, Arial, Helvetica, sans-serif;
    font-size : 75%;
    background-color : #C0C0C0;
    border-right : solid;
    border-right-width : thin;
    border-color : #000000;
    white-space : nowrap;
}

/* The "body" of the page (but really in a cell) */
.bodycell {
    padding : 1em;
    font-family : Georgia, "Times New Roman", Times, serif;
    /* Path issue : background: url('./images/blutxtr1.jpg') */
}

/* Captions */
.caption {
    font-family : Verdana, Arial, Helvetica, sans-serif;
    font-size : 65%;
    text-align : center;
    /* valign : top; */
}


/* The footer/search bar across the bottom of the page */
.footer {
    font-family : Verdana, Arial, Helvetica, sans-serif;
    font-size : 65%;
    background-color : #C0C0C0;
    border-top : solid;
    border-top-width : thin;
    border-color : #000000;
    /* valign : top; */
}

/* For links that are external or will open in a new window */
.external {
    /* target : _blank; */
}

/* The "current" page in the navigation section (red) */
.current {
    color : #FF0000;
}


/* Others */
.screen {
    font-family : "Courier New", Courier, monospace;
    font-size : 90%;
    white-space : pre;
    padding-left : 3em;
}

.email {
    font-family : Georgia, "Times New Roman", Times, serif;
    white-space : pre;
    padding-left : 3em;
    margin-left : 3em;
}

.centered {
    text-align : center;
    margin-left : auto;
    margin-right : auto;
}

.notebox {
    background-color : #FFFF00;
    border : 1px dashed #000000;
    margin : 15px;
    font-size : small;
    text-indent : 0;
    padding : 5em;
}