/* python.css: for CS pages.
 */

body {
    background-color: #ffffff;
    color: #994400; /* #70001c; */
}

/* Note: Makes BIG diff. that "active" comes after "hover" below. */
a:link {
  color: #f3b000; /* #ff0040; */
  font-weight:bold;
  text-decoration: none;
  font-family: arial;
}
a:visited {
  color: #f3b000; /* #ff0040; */
  font-weight:bold;
  text-decoration: none;
  font-family: arial;
}
a:hover {
  color: #ffffff; 
  font-weight:bold;
  background: #f3b000;  /* #cc9900; */ 
      /* orange:#ffaa00;*/ 
  text-decoration: none;
  font-family: arial;
}
a:active {
  color: #ffffff;
  font-weight:bold;
  background: #cc9900;  /* #f3b000; */ 
  text-decoration: none;
  font-family: arial;
}
table.head {
  background-color: #ffd000;  /* #e00400; */
  color: #ffffff;
  font-weight: bold;
  font-family: arial;
  text-align: center;
}

/* special class for head tables */
a.headl:link   {color: #ffd000;}
a.headl:visited{color: #ffd000;}
a.headl:hover  {color: #ffffff; background: #ffd000;}
a.headl:active {color: #ffffff; background: #ffd000;}
a.headl { font-family: arial; } 

/* headers: */
.orhead {
  font-family: sans-serif;
  font-size: 12pt;
  color: #994400;
  font-weight:bold;
  font-family: arial;
}
.orheadx {
  font-family: sans-serif;
  font-size: 15pt;
  color: #994400;
  font-weight:bold;
  font-family: arial;
}
.comm {
  color: #44aa00;
}

table.data {
  background-color: #fff8f8;
  color: #000000;
  /* font-weight: bold; */
  /* font-family: sans-serif; */
  /* text-align: center; */
}
table.data2 {
  background-color: #fffad4;  /* #fff6b4; #fff0b0; #ffedb4; */
  color: #773300;
  /* font-weight: bold; */
  /* font-family: sans-serif; */
  /* text-align: center; */
}
div.largetitlerow {
   font-size: 30pt /* xxx-large */;
}
div.titlerow {
   font-size: 24pt /* xx-large */;
}
div.subtitlerow {
   font-size: 18pt /* x-large */;
}
div.smalltitlerow {
   font-size: 16pt /* x-large */;
}
div.italicrow {
   font-size: 18pt /* x-large */;
   font-style: italic;
}
.date {
  font-family: sans-serif;
  font-size: 13pt;
  color: #e020a0;
  font-weight:bold;
}

.bluehead {
  font-family: sans-serif;
  font-size: 15pt;
  color: #0000aa;
  font-weight:bold;
}
.redhead {
  font-family: sans-serif;
  font-size: 12pt;
  color: #70001c;
  font-weight:bold;
}
.redheadx {
  font-family: sans-serif;
  font-size: 15pt;
  color: #70001c;
  font-weight:bold;
}
.greenhead {
  font-family: sans-serif;
  font-size: 12pt;
  color: #109010;
  font-weight:bold;
}
.greenheadx {
  font-family: sans-serif;
  font-size: 15pt;
  color: #109010;
  font-weight:bold;
}
.blackhead {
  font-family: sans-serif;
  font-size: 12pt;
  color: #000000;
  font-weight:bold;
}
.blackheadx {
  font-family: sans-serif;
  font-size: 15pt;
  color: #000000;
  font-weight:bold;
}
/*  hr stuff */
/*  div.hr {
   color:#f3b000;
   background-color:#f3b000;
   height:1em;
   border:1px solid #f3b000;
 } */
div.hr2 {
   color:#ffd000;
   background-color:#ffd000;
   height:1em;
   border:0px solid #ffd000;
 }
div.hr3 {
   color:#f3b000;
   background-color:#ffd000;
   height:0.2em;
   /* border-color:#ffd000; */
 }
div.hr3 hr {
   display: none;
   /* gets rid of fine black line! */
}