/*This overrides the stupid sea-green nav-bar color that they had  :*/
.navbar-inverse {
     background-color: #00007c;
     border-color: transparent;
 }

/* This overrides the hovering color of the nav bar*/
.navbar-inverse .navbar-nav > li > a:hover, .navbar-inverse .navbar-nav > li > a:focus {
    color: #375aff;
    background-color: transparent;
}

/* unvisited link */
a.PlainLinks:link {
    color: gainsboro;
}

/* visited link */
a.PlainLinks:visited {
    color: gainsboro;
}

/* unvisited link */
a.PrettyLinks:link {
    color: Red;
}

/* visited link */
a.PrettyLinks:visited {
    color: goldenrod;
}


div.CenteredAndNarrow {
    margin: auto;
    width: 55%;
}

a:link.AlwaysYellow {
    color: yellow;
}

a:visited.AlwaysYellow {
    color: yellow;
}

.blueText {
     color: slateblue
 }