body                    { color: darkblue; background-color: #F4FBFA }
hr                      { color: darkblue; height: 4; width: 76%; text-align: left }
hr.full                 { color: darkblue; height: 4; width: 100%; text-align: left; }
hr.nearfull             { color: darkblue; height: 4; width: 90%; text-align: left; }
hr.block                { color: darkblue; height: 40; width: 100%; text-align: left; }

a:link                  { color: blue }
a:active                { color: blue }
a:visited               { color: cornflowerblue }

a.nvspecial:link        { color: cornflowerblue }
a.nvspecial:active      { color: cornflowerblue }
a.nvspecial:visited     { color: cornflowerblue }

a.nvspecial1:link       { color: darkgrey }
a.nvspecial1:active     { color: darkgrey }
a.nvspecial1:visited    { color: darkgrey }

a.unused:link           { color: lightblue }
a.unused:active         { color: lightblue }
a.unused:visited        { color: lightblue }

a.ambient:link          { color: darkblue }
a.ambient:active        { color: darkblue }
a.ambient:visited       { color: darkblue }

a.distinguished:link    { color: darkred }
a.distinguished:active  { color: darkred }
a.distinguished:visited { color: darkred }

/* alternatives #EAFBFA #EAFAF8 */