body
{
	background: url('page_bg.png') center top repeat-y;
	font-family: Garamond, Serif;
	font-size: 1em;
	color: #222;
}

a:link
{
	color: #1a1aa0;
	text-decoration: none;
}

a:hover
{
	border-bottom: 1px dotted #aaa;
	background: #eef;
}

a:visited
{
	text-decoration: none;
	color: #a77;
}

#page
{
	margin-top: 60px;
	margin-left: auto;
	margin-right: auto;
	width: 960px;
}

.tiny
{
	float: right;
	font-size: 0.6em;	
}

#definition
{
	float: left;
}

.header
{
	padding-top: 10px;
	font-weight: bold;
}

#samples
{
	width: 300px;
	float: right;
	padding: 0px 30px;
}

#description
{
	margin-left: 20px;
	padding: 5px;
	clear: both;
	float: left;
}

.desc-box
{
	width: 400px;
	font-size: 1.2em;
	font-style: italic;
	margin-left: 20px;
}

.legal
{
	font-style: normal;
	font-size: 1em;
}

.intro
{
	font-style: italic;
}

ul
{
	padding: 0;
	list-style: none;
}

li
{
	margin-bottom: 4px;
	border-bottom: 1px dashed #ccc;
	padding-bottom: 2px;
}

h1
{
	font-size: 2em;
}
h2
{
	font-size: 1.5em;
}