a:link {
color: #0000ff;
}

a:visited {
color: #330099;
}

a:hover {
color: #e00000;
}

a:active {
color: #e00000;
}

a:hover.nolink1 {
color: #d0f0ff;
}

a:hover.nolink2 {
color: #000066;
}

body {
margin: 0px;
padding: 0px;
color: #000066;
background-color: #f0f8ff;
}

h1.prog {
color: #d0f0ff;
background-color: #000066;
text-align: left;
margin: 0px;
padding: 15px;
}

h2.prog {
color: #d0f0ff;
background-color: #000066;
text-align: left;
padding: 10px;
}

address.prog {
color: #d0f0ff;
background-color: #000066;
font-style: italic;
text-align: right;
padding: 10px;
}

ul {
position: relative;
top: -10px;
}

.bun {
line-height: 1.5em;
}

body {
margin: 0px;
}

p,.add {
margin: 15px;
}

dl,li,table.first,.prgdoc {
margin: 0px 15px;
}

.prgtitle {
margin: 15px 15px;
color: #ff0000;
background-color: transparent;
font-weight: bold;
font-size: 130%;
}

dt {
font-weight: bold;
font-size: 120%;
}

dd {
padding-bottom: 10px;
}

.warning {
color: #ff0000;
background-color: transparent;
font-weight: bold;
font-size: 120%;
}

input.button {
width: 7em;
}