/* style sheet for alignalign html pages - stylesheet borrowed from Icon webpage*/

BODY		{ color: black; background: white ; }
BODY		{ margin-left: 20px; margin-right: 10px; }

BODY { font-size: 0.9em;	font-family: sans-serif;}
PRE, TT		{ font-family: "Lucida Sans Typewriter", Monaco, monospace;}
PRE.link, TT.link  { line-height: 1.25em;}
TT.sequence     { font-size: 75%  }

H1,H2,H3,H4 { font-family:Helvetica,Arial,sans-serif; font-weight:bold; }
H1		{ font-size: 175%; margin-top: 2.0em; margin-bottom: 0.4em; }
H2		{ font-size: 150%; margin-top: 2.0em; margin-bottom: 0.4em; }
H3 		{ font-size: 110%; margin-top: 1.5em; margin-bottom: 0.2em; }
H4 		{ font-size: 100%; margin-top: 1.5em; margin-bottom: 0.2em; }

P		{ margin-top: 0.9em; margin-bottom: 0.0em; }
BLOCKQUOTE	{ margin-top: 0.4em; margin-bottom: 0.4em; }
UL, OL		{ margin-top: 0.4em; margin-bottom: 0.4em; }
LI		{ margin-top: 0.2em; }

TH, TD		{ padding-left: 0.4em; padding-right: 0.4em; }
TH, TD		{ vertical-align: top; text-align: left; }

A:link		{ background: white; color: #06C; }
A:visited	{ background: white; color: #036; }

<!--character colors-->
.dash		 		{ color: #000000 } 
.N, .Q, .S, .T			{ color: #9900ff } /* up */ 
.A, .C, .G, .I, .L, .M, .P, .V 	{ color: #ff0000 } /* np */
.D, .E				{ color: #0000ff } /* a  */
.F, .Y, .W			{ color: #009900 } /* ar */
.H, .K, .R			{ color: #ff6600 } /* b  */