/* ===== style-tty.css, Jan 2001, gcs ===== */

/* ----- body selector: use * instead of body to assign page body defaults ----- */
/* -----  (body does not work in MSIE4, but * does;  neither works in NN4) ----- */
*
{
    background-color:   #FFFF99; 
}


/* ----- selectors for link tags ----- */
a:link
{
    font-family:        Verdana, Arial, Helvetica, Sans-Serif;
    font-size:          12pt;
    font-style:         normal;                             /* normal or italic */
    font-weight:        bold;                               /* normal or bold */
    text-decoration:    none;                               /* none or underline */
    color:              #004080;
    background:         transparent;
} 

a:active
{
    text-decoration:    underline; 
    color:              #FF0000;
}

a:hover
{
    text-decoration:    underline; 
    color:              #FF0000;
}

a:visited
{
    text-decoration:    none;                               /* none or underline */
    color:              #900080;
}


/* ----- selectors for text tags ----- */
p
{
    font-family:        "Times New Roman", Times, Serif;
    font-size:          12pt;
    font-style:         normal;                             /* normal or italic */
    font-weight:        bold;                               /* normal or bold */
    color:              #000000;
    background:         transparent;
}
		
h1
{
    font-family:        Arial, Helvetica, Sans-Serif;
    font-size:          20pt;
    font-style:         normal;                             /* normal or italic */
    font-weight:        bold;                               /* normal or bold */
    color:              #004080;
    background:         transparent;
}

code
{
    font-family:        Courier, Sans-Serif;
    font-size:          10pt;
    font-style:         normal;                             /* normal or italic */
    font-weight:        bold;                               /* normal or bold */
    color:              #000000;
    background:         transparent;
}

/* ------------------------------------------------------------------------------------ */
