/* -*-c++-*- $Id: style.css,v 1.10 2003/08/07 22:36:38 edmundd Exp $ */

BODY {
  font-family: Georgia, Times New Roman, serif; 
  font-size: 15px;
}

P, LI, UL, TH, TD, .bd, .sm {
  font-family: Georgia, Times New Roman, serif; 
  font-size: 100%;
}

.gd, .gloss {
  font-family: Georgia, Times New Roman, serif; 
  font-size: 70%;
}

.intro {
  font-family: Verdana, sans-serif; 
  font-size: 70%;
}

.mhead, .note, .cinfo {
  font-family: Bitstream Vera Sans, Verdana, sans-serif; 
  font-size: 80%;
}

.clink {
  font-family: Bitstream Vera Sans, Verdana, sans-serif; 
  font-size: 80%;
}

.cbody {
  font-family: Bitstream Vera Sans, Verdana, sans-serif; 
  font-size: 70%;
  color: gray;
	margin-left: 10pt;
}

.inre {
  font-family: Bitstream Vera Sans, Verdana, sans-serif; 
  font-size: 70%;
	font-style: italic;
  color: gray;
}

.replies {
  font-family: Bitstream Vera Sans, Verdana, sans-serif; 
  font-size: 70%;
	margin-left: 10pt;
}

H3, .hd {
  font-family: Bitstream Vera Sans, Verdana, sans-serif;
  font-size: 110%;
  font-weight: bold;
}

.head {
  font-family: Bitstream Vera Sans, Verdana, sans-serif; 
  font-size: 100%;
  font-weight: bold;
}

H4 {
  font-family: Bitstream Vera Sans, Verdana, sans-serif; 
  font-size: 100%;
  font-weight: bold;
}

LISTING,TT,PRE {
  font-family: Courier, monospace;
  font-size: 80%;
  color: #447799;
}

.error {
	font-family: Bitstream Vera Sans, Verdana, sans-serif; 
	font-size: 70%;
	color:  red;
	font-weight: bold;
}

.ln {
	font-family: Bitstream Vera Sans, Verdana, sans-serif; 
	font-size: 80%;
	color:  black;
	font-weight: bold;
}

.clabel, .ctitle {
	font-family: Bitstream Vera Sans, Verdana, sans-serif; 
	font-size: 70%;
	color:  black;
	font-weight: bold;
}

.copyright, .by, .msrc {
  font-family: Bitstream Vera Sans, Verdana, sans-serif; 
  font-size: 70%;
  color: black;
}

.whd {
  font-family: Bitstream Vera Sans, Verdana, sans-serif;
  font-size: 80%;
  color: black;
  font-weight: bold;
}

.wby {
  font-family: Bitstream Vera Sans, Verdana, sans-serif;
  font-size: 70%;
  color: #888888;
}

.whdc {
  font-family: Bitstream Vera Sans, Verdana, sans-serif;
  font-size: 80%;
  color: black;
}

.newswire {
 	padding: 4pt; 
	border: solid #000000 1px;
}

.wtit {
  font-family: Georgia, serif;
  font-size: 100%;
  text-align: center;
  font-weight: bold;
  margin-bottom: 4pt;
  color: black;
}