.highlight {
    color:rgb(80,99,42);
}

a:link {
    color:rgb(80,99,42);
}

a:visited {
    color:#666666;
}

div.step {
    background-color:rgb(215,227,191);
}
