/*
   Acknowledgments:

   - 'background-color' doesn't work on Mac IE 3, but 'background'
     does (Susan Lesch <lesch@macvirus.com>)

   - 'smaller' leads to illegible text in both Mac IE and Mac NS,
     'small' is better: works in Mac NS, but is always 12pt in Mac IE
     3 (Susan Lesch <lesch@macvirus.com>)

   $Id: base.css,v 1.11 1999/09/23 14:23:21 bbos Exp $
*/

BODY {
  background:  #F3F3F0  /* url("css/gray.jpg") repeat */ ;
}

BODY, P, DIV, H1, H2, H3, H4, TH, TD {
  font-family: sans-serif;
}
	

P {
  margin-left: 5ex;
  margin-right: 5ex;
  margin-top: 0.8ex;
  margin-bottom: 0.8ex;
  /* margin: 1em 1em 1em 1em; */
  /* color: #202010; */
}

A.awh, A.awh:visited {
    color: #228 ;
}

DL {
  margin-left: 5ex;
}
.todo, .tbd {
  margin-top: 0.9ex;
 /*  margin-bottom: 0.6ex;*/
  margin-bottom: 0ex;
  margin-left: 7ex;
  margin-right: 7ex;
}

DIV { margin-bottom: 0pt;
}

.head { 
  text-align: center;
  margin-top: 0ex;
}

P.plan {
  text-align: justify; 
}
H1 {
  font-size: x-large;
  text-align: center;
  margin-top: 0ex;
  margin-bottom: 0ex;
}
H2, H3 {
  text-align: left;
  font-weight: normal; 
}
A { 
	font-weight: bold;
	text-decoration: none;
}

A:link, A:hover {
	color: #DD3010 ;
}
A:visited {
	color: #B01000;
}
A:active {
	color: #FF0000;
}


.big {
  font-size: large;
}

/*
.small {
  font-size: x-small;
}
*/

.stand {
  text-align: right; 
  margin-bottom: 0em;
  margin-right: 5ex;
}


H1.martin {
  font-size: xx-large;
  padding-left: 15%;
  padding-right: 15%;
  padding-top: 3%;
  padding-bottom: 3%;
  border: medium white outset;
  margin-left: 20%;
  margin-right: 20%; 
  text-align: center;
  background-color: #f0f098;
  color: #404030;
}

.awh {
  text-align: center;
}

.hide { display: none }

/*
DIV.head { margin-bottom: 1em }
DIV.head H1 { margin-top: 1em; clear: both }
DIV.head TABLE { margin-left: 2em; margin-top: 2em }
DIV.head IMG { color: white; border: none } /* remove border from top image */

P.copyright { font-size: small }
P.copyright SMALL { font-size: small }
*/

@media screen {  /* hide from IE3 */
}

PRE { margin-left: 2em }
DT, DD { margin-top: 0; margin-bottom: 0 } /* opera 3.50 */
DT {
  font-weight: bold; 
}

PRE { font-family: monospace }        /* navigator 4 requires this */

UL.toc {
  list-style: disc;		/* Mac NS has problem with 'none' */
  list-style: none;
}


@media aural {  
  H1, H2, H3 { stress: 20; richness: 90 }
  .hide { speak: none }
  P.copyright { volume: x-soft; speech-rate: x-fast }
  DT { pause-before: 20% }
  PRE { speak-punctuation: code } 
}

