.highlight {
    color:rgb(127,127,127);
}

a:link {
    color:rgb(127,127,127);
}

a:visited {
    color:#666666;
}

div.step {
    background-color:rgb(215,215,215);
}