.ws-dark-blue {
    background-color: #1E3A5F;
    color: #FFFFFF;
    /* comment: This is a dark blue color used for the top navigation bar and other elements. */
}
}