/* Ben's settings for the page */

body {
	font-family: sans-serif;
}
h1 {
	background-image: none;
	background-color: #000000;
	padding: 2px;
	margin: 2px;
	color: #ffffff;
	font-size: x-large;
}

.bolder {
	font-size: larger;
	font-weight: 900;
}

.header {
	font-size: larger;
	font-weight: 900;
	font-variant: small-caps;
}

.modified {
	margin: 1px;
	padding: 0px;
	font-size: smaller;
	text-align: center;
 	vertical-align: bottom;
}

.compressed {
	margin: 1px;
	padding: 0px;
	text-align: center;
 	vertical-align: bottom;
}

.warning {
	color: #ff0000;
}

.tiny {
	font-size: 1px;
	color: #ffffff;
	background-color: #ffffff;
}

a:link { color: #0000ff; background-color: transparent; }
a:visited { color: #8888ff; background-color: transparent; }
a:active { color: #ffffff; background-color: #000088; }

/* End Ben's settings */

/* Settings for other media */

@media print {
 page          { margin: 10%; }
 h1, h2, h3,
 h4, h5, h6    { page-break-after: avoid; page-break-inside: avoid }
 blockquote, 
 pre           { page-break-inside: avoid }
 ul, ol, dl    { page-break-before: avoid }
}

/*
@media speech {
 h1, h2, h3, 
 h4, h5, h6    { voice-family: paul, male; stress: 20; richness: 90 }
 h1            { pitch: x-low; pitch-range: 90 }
 h2            { pitch: x-low; pitch-range: 80 }
 h3            { pitch: low; pitch-range: 70 }
 h4            { pitch: medium; pitch-range: 60 }
 h5            { pitch: medium; pitch-range: 50 }
 h6            { pitch: medium; pitch-range: 40 }
 li, dt, dd    { pitch: medium; richness: 60 }
 dt            { stress: 80 }
 pre, code, tt { pitch: medium; pitch-range: 0; stress: 0; richness: 80 }
 em            { pitch: medium; pitch-range: 60; stress: 60; richness: 50 }
 strong        { pitch: medium; pitch-range: 60; stress: 90; richness: 90 }
 dfn           { pitch: high; pitch-range: 60; stress: 60 }
 s, strike     { richness: 0 }
 i             { pitch: medium; pitch-range: 60; stress: 60; richness: 50 }
 b             { pitch: medium; pitch-range: 60; stress: 90; richness: 90 }
 u             { richness: 0 }
 a:link        { voice-family: harry, male }
 a:visited     { voice-family: betty, female }
 a:active      { voice-family: betty, female; pitch-range: 80; pitch: x-high }
}
*/