/* implement both fixed-size and relative sizes */
SMALL.XTINY		{ font-size : xx-small }
SMALL.TINY		{ font-size : x-small  }
SMALL.SCRIPTSIZE	{ font-size : smaller  }
SMALL.FOOTNOTESIZE	{ font-size : small    }
SMALL.SMALL		{  }
BIG.LARGE		{  }
BIG.XLARGE		{ font-size : large    }
BIG.XXLARGE		{ font-size : x-large  }
BIG.HUGE		{ font-size : larger   }
BIG.XHUGE		{ font-size : xx-large }

body {
  margin-left: 10em;
  margin-right: 10em;
  font-family: Verdana, Helvetica, Arial, sans-serif;
  font-size: 90%;
  color: #000;
  background-color: #fff;
}

h1 {
  margin-top: 1em;
  padding: 0.4em;
  font-size: 165%;
  font-weight: bold;
  color: #fff;
  background-color: #008;
}
h2 {
  padding: 0.4em;
  font-size: 130%;
  font-weight: bold;
  color: #fff;
  background-color: #008;
}

/* heading styles */
H3		{  }
H4		{  }
H5		{  }

/* mathematics styles */
DIV.displaymath		{ }	/* math displays */
TD.eqno			{ }	/* equation-number cells */

a:link {
   text-decoration: underline;
  color: #00c;
}
a:visited {
   text-decoration: underline;
  color: #808;
}
a:hover {
  text-decoration: underline;
  color: #f00;
}

table.feedback {
  border-width:2px;
  border-style:solid;
  border-color:#008;
  padding:5px;
}

/* document-specific styles come next */