/* color_red.css: the CSS2 file for red colors
   (Benjamin Han; benhdj at cs dot cmu dot edu) */

/* ----------------------------------------------------------------------
   Basics
   ---------------------------------------------------------------------- */

.color_red {
  }
.color_red a {
  color:#694D3F;
  }
.color_red a:visited {
  color:#571C0E;
  }
.color_red a:hover {
  background-color:#694D3F;
  color:#ffffff;
  }

/* ----------------------------------------------------------------------
   Main layout
   ---------------------------------------------------------------------- */

.color_red #topLeftBar {
  background: #B43132;
  }
.color_red #topRightBar {
  background: #571C0E;
  }
.color_red #bottomRightBar {
  background: #694d3f;
  }
.color_red #footerRight {
  background: #694d3f;
  }
.color_red #bottomRightBar a {
  color: #FFFFFF;
  }
.color_red #bottomRightBar .sideNAV a:hover, .color_red #bottomRightBar .sideNAVFocus a:hover {
  background: #FE854B;
  }
.color_red #bottomRightBar .sideNAVFocus a {
  background: #806254;
  }

/* ----------------------------------------------------------------------
   Top NAV and To-Top NAV
   ---------------------------------------------------------------------- */

.color_red .topNAV, .color_red .toTopNAV, .color_red .topRightNAV {
  color:#f90;
  }
.color_red .topNAV a:link, .color_red .topNAV a:visited, .color_red .toTopNAV a:link, .color_red .toTopNAV a:visited , .color_red .topRightNAV a:link, .color_red .topRightNAV a:visited {
  color:#f90;
  border-bottom:1px solid #f90;
  }
.color_red .topNAV a:hover, .color_red .toTopNAV a:hover, .color_red .topRightNAV a:hover {
  color: #ffffff;
  background-color:#f90;
  }