.highlight {
    color:rgb(56,85,122);
}

a:link {
    color:rgb(56,85,122);
}

a:visited {
    color:#666666;
}

div.step {
    background-color:rgb(213,223,235);
}