/* main.css: for the main page and
   similar ones: Miscelanneous, JavaApplets, Writing
 */
body {
  background-color: #406068; /*  Now slate gray. */
  /* font-family: sans-serif; */
}
/* have abandoned these now
   except for weight and decoration
 */
a:link {
  color: #000000;
  font-weight: bold;
  text-decoration: none;
  font-family: arial;
}
a:active {
  color: #000000;
  font-weight: bold;
  text-decoration: none;
  font-family: arial;
}
a:visited {
  color: #000000;
  font-weight: bold;
  text-decoration: none;
  font-family: arial;
}
a:hover {
  color: #7777ff;
  font-weight: bold;
  text-decoration: none;
  font-family: arial;
}
/* Apparently the only way to get different hovers is with named classes.
   Sample use: <a href="book.html" class="steal1">more</a>
   Note: Makes a BIG difference that "active" comes after "hover" below.
   (Doesn't work the other way.)
 */

/* Note below: except for red, only three colors used for each category.
    (Red has two "light" versions and two text versions.)
    "dark" background on webpage = "hover background" color.
    "link", "visited" text color for webpage = "active background" color.
    "light" background on webpage not used elsewhere.
 */
/* red: Neal Wagner, dark: ff5555, light: ff9999, lighter: ffbfbf */
a.sred1:link    {color: #cc0000;}
a.sred1:visited {color: #cc0000;}
a.sred1:hover   {color: #ffffff; background: #ff5555;}
a.sred1:active  {color: #ffffff; background: #cc0000;}

a.sred2:link    {color: #990000;}
a.sred2:visited {color: #990000;}
a.sred2:hover   {color: #ffffff; background: #ff5555;}
a.sred2:active  {color: #ffffff; background: #cc0000;}

/* blue: CS Courses, dark: 0080ff, light: 66dfff  */
a.sblue1:link   {color: #0000bb;}
a.sblue1:visited{color: #0000bb;}
a.sblue1:hover  {color: #ffffff; background: #0080ff;}
a.sblue1:active {color: #ffffff; background: #0000bb;}

/* yellow: Personal, dark: bbbb00, light: ffff88  */
a.syel1:link    {color: #888800;}
a.syel1:visited {color: #888800;}
a.syel1:hover   {color: #ffffff; background: #bbbb00;}
a.syel1:active  {color: #ffffff; background: #888800;}

/* purple1: Nacimientos, dark: c080ff, light: e0c0ff  */
a.spur1:link    {color: #9040cc;}
a.spur1:visited {color: #9040cc;}
a.spur1:hover   {color: #ffffff; background: #c080ff;}
a.spur1:active  {color: #ffffff; background: #9040cc;}

/* teal: Links, dark: 00bbbb, light: aaffff  */
a.steal1:link   {color: #007777;}
a.steal1:visited{color: #007777;}
a.steal1:hover  {color: #ffffff; background: #00bbbb;}
a.steal1:active {color: #ffffff; background: #007777;}

/* green: Java Applets, dark: 00bb00, light: 99ff99  */
a.sgre1:link    {color: #008800;}
a.sgre1:visited {color: #008800;}
a.sgre1:hover   {color: #ffffff; background: #00bb00;}
a.sgre1:active  {color: #ffffff; background: #008800;}

/* orange: Miscellaneous, dark: ff8000, light: ffcf99  */
a.soran1:link   {color: #aa5500;}
a.soran1:visited{color: #aa5500;}
a.soran1:hover  {color: #ffffff; background: #ff8000;}
a.soran1:active {color: #ffffff; background: #aa5500;}

/* purple2: Writing, dark: dd00dd, light: ffaaff  */
a.spur2:link    {color: #990099;}
a.spur2:visited {color: #990099;}
a.spur2:hover   {color: #ffffff; background: #dd00dd;}
a.spur2:active  {color: #ffffff; background: #990099;}

/* for Python  */
a.pyth:link    {color: #f3b000;} /* #ddaa00; #f3b000; #cc9900;  */
a.pyth:visited {color: #f3b000;} /* #f3b000;  #cc9900; */
a.pyth:hover   {color: #ffffff; background: #f3b000;} /* #cc9900; */
a.pyth:active  {color: #ffffff; background: #dd9000;} /* #f3b000; */

/* for Ruby  */
a.ruby:link    {color: #ff0040;}
a.ruby:visited {color: #ff0040;}
a.ruby:hover   {color: #ffffff; background: #ff0040;}
a.ruby:active  {color: #ffffff; background: #dd0000;}

/* for Post  */
a.post:link    {color: #ffffff;}
a.post:visited {color: #ffffff;}
a.post:hover   {color: #000000; background: #ffffff;}
a.post:active  {color: #000000; background: #dddddd;}

/* for Lisp  */
a.lisp:link    {color: #000000;}
a.lisp:visited {color: #000000;}
a.lisp:hover   {color: #ffffff; background: #000000;}
a.lisp:active  {color: #ffffff; background: #999999;}