.header
{
    background-color: #e0e0ff;
    font-weight: bold;
    font-size:large;
}
.highlight
{
    font-weight: bold;
}