body {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 12px;
    color: #202060;
}

a {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 12px;
    line-height: 14px;
    text-decoration: none;
    color: #800000;
}

a:hover {
    color: #FF0000;
}

a.menu {
    white-space:nowrap;
}

a.menu:hover {
    color: #FF0000;
}

a.menuselect {
    font-weight: bold;
    color: #202060;
    white-space:nowrap;
}

a.menuselect:hover {
    font-weight: bold;
    color: #FF0000;
}

.info {
    font-size: 10px;
}

.title {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 24px;
    line-height: 30px;
    font-weight: bold;
    color: #202060;
    margin-top: 0px;
    margin-bottom: 2px;
}

.notice {
	BORDER-RIGHT:     black thin solid;
    PADDING-RIGHT:    5px;
    BORDER-TOP:       black thin solid;
    PADDING-LEFT:     5px;
    PADDING-BOTTOM:   5px;
    BORDER-LEFT:      black thin solid;
    COLOR:            #202060;
    PADDING-TOP:      5px;
    BORDER-BOTTOM:    black thin solid;
    BACKGROUND-COLOR: #F8F8FF
}
.folders {
	FONT-SIZE: 8pt
}
.program {
    PADDING-RIGHT:    5px;
    PADDING-LEFT:     25px;
    PADDING-BOTTOM:   5px;
    COLOR:            #202060;
    PADDING-TOP:      5px;
    FONT-FAMILY:      courier, monospace;
    BACKGROUND-COLOR: #C0C0C0
}
.html_output {
    PADDING-RIGHT:    5px;
    PADDING-LEFT:     25px;
    PADDING-BOTTOM:   5px;
    COLOR:            #202060;
    PADDING-TOP:      5px;
    BACKGROUND-COLOR: #FFFFF0
}
.checkpoint {
	PADDING-RIGHT: 3px;
    PADDING-LEFT: 3px;
    FLOAT: left;
    PADDING-BOTTOM: 3px;
    MARGIN: 3px;
    WIDTH: 26px;
    PADDING-TOP: 3px;
    HEIGHT: 28px
}