/* Style sheet for TeXInfo pages
   Randy Maas
   Chris Palmer
 */


/* Color scheme
Blue		66/66/200	#4242C8
Slate Blue	75/75/100	#4B4B64
Soft  Blue      166/166/200.    #A6A6C8
Light Blue-Grey 166/166/175.    #A6A6Af
Light Blue-Grey2 200/200/209.   #c8c8d1

Bright Yellow                   #ffff66
Yellow		233/233/186	#E9E9BA
Black		0/0/0		#000000
Dark Grey       75/75/75        #4B4B4B
White		255/255/255	#FFFFFF
Dark Olive      66/66/33        #424221
Darker Olive    33/33/16        #212110
Dark Purple     33/16/33        #211021
*/

BODY { margin-left: 5%; margin-right: 5%;
    color: #000000; /* #050502; */
    background: #dddddd; /* #c8c8d1;*/
#    background: #fffff4; /* #c8c8d1;*/
    font-family: arial,helvetica;
 }

TH.attr {
     background: black;
     color: white;
     font-weight: bold;
    }

TD.attr {
     background: white;
     color: black;
    }

table.shell {
    color: #ffffff; background: #000000;
    font-family: helvetica,arial;
    font-weight: bold;
    font-family: roman;
    summary: "Black border";
 }

table.titlebar {
    color: #000000; background: #c7c7a6; /*#ffff66;*/
    font-family: helvetica,arial;
    font-weight: bold;
    font-family: roman;
    font-size:small;
    summary: "Related Links";
 }

table.titlebar A:link    {color: #000000;}
table.titlebar A:active  {color: #000000;}
table.titlebar A:visited {color: #000000;}


table.sidebar {
    color: #000000; background: #c7c7a6;
    font-family: helvetica,arial;
    font-weight: bold;
    font-family: roman;
    summary: "Related Links";
 }

table.sidebar A:link    {color: #000000;}
table.sidebar A:active  {color: #000000;}
/*
table.sidebar A:visited {color: #000000;}
*/

A {
/*     background: #f0f0f0; */
/*     color: #565754; */
  }

/*A:link    { color: #216021;} */
A:active  { color: #42C842;}
A:visited { color: #602121;}
A:name    { }

P.footer { font-size: small; }

/* 
   texi2html makes headers anchors, also. To make them be the normal header
   color (whatever that may be) instead of the normal anchor color (blue in
   this case), we use this rule:
*/
/*
H1, H2, H3, H4, H5, FORM A { color: #2b4b00;  background: #fffff4;}
H1 A { color: #2b4b00; background: #fffff4;}
H2 A { color: #2b4b00; background: #fffff4;}
H3 A { color: #2b4b00; background: #fffff4;}
H4 A { color: #2b4b00; background: #fffff4;}
*/

/*
   which means "when an anchor is nested in a header of level 1 - 5, make it
   color XXXXX".

   Note that just because this is correct syntax, doesn't mean that Netscape
   4.x or IE 3.x or 4.x will interpret it correctly. Netscape/Mozilla 5.0+
   claims to do style sheets perfectly. We'll see. I haven't tried the IE 5.0
   beta yet. If the above does not work properly, you might try making five
   rules instead of one, of the form:

     Hn A { color: foobar; }

   (For n = 1 thru 5) Try this stuff out and lemme know how it goes. I tried
   a few nested contingencies once and they worked all right, some of the
   time. :)
*/

CODE
 {
    font-family: courier;
    color: #002080;
 }

PRE {color: #303000;}

H1 {
	font-weight: bold;
	font-size: x-large;
	font-family: times;
	font-style: roman;
        color: #4b4b4b;
	}

H2 {
	font-weight: medium;
        font-size: large;
	font-family: helvetica;
	font-style: roman;
	color: #4B4B4B;
	}

H3 {
	font-weight: bold;
	font-size: large;
	font-family: helvetica;
	font-style: italic;
	color: #4B4B4B;
/*        color: #e9e9ba;
        background: #4b4b4b;*/
	}

H4 {
	font-weight: medium;
	font-size: medium;
	font-family: helvetica;
	font-style: roman;
        /* If this is not there.. for some reason the H4's come out glowy green */
	color: #4B4B4B;
	}

H5 {
	font-weight: medium;
	font-size: medium;
	font-family: helvetica;
	font-style: italic;
	color: #4B4B4B;
}

/*
FORM {
        background: #deded4;
        color: #565754;
        font-size:small;
        font-weight:bold;
        font-family:arial,helvetica;
     }

FORM A {font-style: italic;
        background: #deded4;
     }
*/

TABLE {margin-right: 0;}