body
{
	font-size: 68%;
}
p
{
	margin-top: 0em;
	margin-bottom: 0.4em;
	line-height: 1.2em;
}
code
{
  font-size: 120%;
}
h1
{
  font-size: 190%;
  margin-top: 0.6em;
  margin-bottom: 2px;
}
h2
{
  font-size: 160%;
  margin-top: 0.5em;
  margin-bottom: 1px;
}
h3
{
  font-weight: bold;
  font-size: 130%;
  margin-top: 0.3em;
  margin-bottom: 1px;
}
a:link
{
  color: #1a1a80;
  text-decoration: underline
}
a:active
{
  color: #1a1a80;
  text-decoration: underline
}
a:visited
{
  color: #1a1a80;
  text-decoration: underline
}
a:hover
{
  color: #1a1a80;
  text-decoration: underline
}
ul
{
  padding: 0px;
  margin: 0.2em 0px 0.5em 20px;
}
ul li
{
  margin-bottom: 0.2em;
}
img
{
  border: none;
}
input
{
  font-size: 80%;
}
textarea
{
  font-size: 120%;
}