body {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 90%;
	line-height: 125%;
}

h1
{
	border-bottom-width: 1px;
	border-bottom-style: dotted;
	border-bottom-color: rgb(204, 204, 204);
	font-family: Georgia,"Times New Roman",Times,serif;
	font-style: normal;
	font-variant: normal;
	font-size: 120%;
	line-height: normal;
	font-size-adjust: none;
	font-stretch: normal;
	font-weight: bold;
	letter-spacing: 5px;
	margin-top: 17px;
	margin-right-value: 0pt;
	margin-bottom: 2px;
	margin-left-value: 0pt;
	margin-left-ltr-source: physical;
	margin-left-rtl-source: physical;
	margin-right-ltr-source: physical;
	margin-right-rtl-source: physical;
	padding-bottom: 4px;
}

h2
{
	border-bottom-width: 1px;
	border-bottom-style: dotted;
	border-bottom-color: rgb(204, 204, 204);
	font-family: Georgia,"Times New Roman",Times,serif;
	font-style: normal;
	font-variant: normal;
	font-weight: normal;
	font-size: 95%;
	line-height: normal;
	font-size-adjust: none;
	font-stretch: normal;
	letter-spacing: 0.2em;
	margin-top: 17px;
	margin-right-value: 0pt;
	margin-bottom: 2px;
	margin-left-value: 0pt;
	margin-left-ltr-source: physical;
	margin-left-rtl-source: physical;
	margin-right-ltr-source: physical;
	margin-right-rtl-source: physical;
	padding-bottom: 2px;
}

h3
{
	border-bottom-width: 1px;
	border-bottom-style: dotted;
	border-bottom-color: rgb(204, 204, 204);
	font-family: Georgia,"Times New Roman",Times,serif;
	font-style: normal;
	font-variant: normal;
	font-weight: normal;
	font-size: 85%;
	line-height: normal;
	font-size-adjust: none;
	font-stretch: normal;
	letter-spacing: 0.2em;
	margin-top: 15px;
	margin-right-value: 0pt;
	margin-bottom: 1px;
	margin-left-value: 0pt;
	margin-left-ltr-source: physical;
	margin-left-rtl-source: physical;
	margin-right-ltr-source: physical;
	margin-right-rtl-source: physical;
	padding-bottom: 1px;
}

/* Push up the search box a little as our logo is smaller than the standard one
 * (this has the effect of making the logo touch the line on the top of the
 * navigator, which is nice). */
#search {
	margin: -1.7em 0 1em;
}