body {
	font-family: "Lucida Sans Unicode", "Lucida Grande", sans-serif;
	margin: 0;
	padding: 0;
	background-color: #d9d9d9;
}

a:link {
	color: #48468f;
	color: #5856Af;
}

a:visited {
	color: #222;
}

a:hover {
	color: #46659e;
}

a[name] {
	color: inherit;
	text-decoration: inherit;
	position: relative;
	top: -9em;
}

h1, h2, h3, h4 {
	font-family: "Lucida Sans Unicode", "Lucida Grande", sans-serif;
	position: relative;
	right: 3%;
	width: 103%;
}

h1 {
	font-size: 1.25em;
	border-bottom: 1px dotted grey;
}

h2 {
	font-size: 1.1em;
	padding: 0 .5em;
}

h3 {
	font-size: 1.05em;
	padding: 0 1em;
}

h4 {
	font-size: 1.0em;
	padding: 0 1em;
}


#right h1, #right h2, #right h3 {
	margin: 0 0 .2em;
	padding: 0;
	font-size: 1em;
	text-align: right;
	letter-spacing: 1pt;
	border-bottom: 1px solid #bbb;
}

#right h1 a { 
	color: inherit;
}

#right h1 { 
	margin-top: 1em;
}

#right hr {
	border-bottom: 1px solid #aaa;
	margin: 0.5em 0;
}

#content .link-offsite-notation {
	color: #999;
}

#content li {
	padding: 1pt;
}

#content h1 {
	margin-top: 0;
}

#content h1.first {
	margin-top: 0;
}

#content a img {
	margin: 1px;
	border: 0;
}

#content a:hover img {
	margin: 0;
	border: 1px solid #f00;
}

#content a img.noborder {
	margin: 0;
	border: 0;
}

#content a:hover img .noborder {
	margin: 0;
	border: 0;
}

samp, code, pre {
	font-family: "Lucida Console", monospace;
}

code.screen, pre.screen {
	font-family: "Lucida Console", monospace;
	font-size: .9em;
	display: block;
	padding: 10px;
	border: 1px solid #bbb;
	background-color: #eee;
	color: #000;
	border-radius: 2.5px;
	margin: 0.5em 2em;
	-moz-border-radius: 2.5px;
}

var {
	font-weight: normal;
	font-style: italic;
}

span.arrow {
	margin: 0 .5em;
	background: transparent; 
	border: solid thin; 
}

span.tex { font-family: Times New Roman, Times, serif; }

span.tilted {
	position: relative; 
	top: .4ex; 
	margin: 0 -.1em 0 -.2em;
}

dl {
	background: #EEE;
	padding: 1em;
}