body
{
	padding-right: 10ex; /* 50pt 5% */
	padding-left: 50pt;
	/*background-color: #EEEEEE; // orange-yellow? */
}

p
{
	font-family: Verdana;
}

.large  /* can apply to any html element */
{
	font-size: 110%;
}

.larger
{
	font-size: 130%;
	font-weight: bold;
}

.largest
{
	font-size: 150%;
	font-weight: bolder;
}

.huge
{
	font-size: 250%;
	font-weight: bolder;
}

.small  /* can apply to any html element */
{
	font-size: 80%;
}

.smaller
{
	font-size: 70%;
}

.smallest
{
	font-size: 60%;
}

.tiny
{
	font-size: 50%;
}

.hsfc
{
	color: #29BEE7; /* #08BAE7; */
}

.nospace
{
	padding: 0;
}

.updated /* For the page-updated note */
{
	font-size: 70%;
}

h1
{
	font-family: Verdana;
	font-size: 200%;
	font-style: italic;
	color: #29BEE7;
	text-align: center;
	padding-top: 2ex;
	padding-bottom: 2ex;
	padding-right: 2%;
	margin-bottom: 2;
}

h2
{
	font-family: Verdana;
	font-size: 150%;
	color: #29BEE7;
	text-align: center;
	padding-top: 2ex;
	padding-bottom: 2ex;
	padding-right: 2%;
}

h3
{
	font-family: Verdana;
	font-size: 110%;
	color: #29BEE7;
	padding-right: 1ex;
}

h4
{
	font-family: Verdana;
	font-size: 105%;
	color: #29BEE7;
	padding-right: 1ex;
}

.hover
{
	color: #990000; /* blue */
	background-color: #FFFF66; /* orange-yellow? */
}

/* Bulleted lists seem to allow a smaller right margin than they inherit from the BODY style. */
ul
{
	padding-right: 3x;
}

textarea
{
	width: 80%;
}


/*
table
{
	padding-left: 1ex; /* 50pt 5% */
/*	padding-right: 1ex; /* 50pt 5% */
/*	padding-top: 1ex;
	padding-bottom: 1ex;
}
*/