body {
	margin: 0px;
	padding: 0px;
	font-family: verdana, arial, helvetica, sans-serif;
	color: #333;
	background-color: white;
	}

h1 {
	margin: 16px 4px 8px 4px;
	padding: 0px;
	font-size: 120%;
	line-height: 1.2;
	font-weight: 600;
	color: #336699;
	}
h2 {
	margin: 4px 0px 15px 0px;
	padding: 0px;
	font-size: 250%;
	line-height: 1.2;
	font-weight: 900;
	color:#bbb;
	}
P, p.discourse {
	font: 90% verdana, arial, helvetica, sans-serif;
	line-height: 2;
	margin: 0px 0px 16px 0px;
	padding: 0px;
	}
p.summary {
	margin: 1em 0em 1em 0em; 
	border: solid darkolivegreen 1px; 
	padding: 1em 1em 1em 1em;
	}
p.quote {
	margin: 0px 20px 16px 20px;
}
ol {
	font: 90% verdana, arial, helvetica, sans-serif;
	line-height: 2;
	margin: 15px 0px 16px 20px;
	padding: 0px 0px 0px 20px;
	text-indent: 0em;
	list-style-position: outside;
	}
ul {
	font: 90% verdana, arial, helvetica, sans-serif;
	line-height: 2;
	margin: 15px 0px 16px 20px;
	padding: 0px 0px 0px 20px;
	text-indent: 0em;
	list-style-position: outside;
	}
ul.midparagraph {
	margin: 0px 0px 0px 30px;
	padding: 0px 0px 0px 30px;
	text-indent: 0em;
	list-style: disc;
	list-style-position: inside;
	}
ul.sitemap {
	font: 70% verdana, arial, helvetica, sans-serif;
	line-height: 2;
	margin: 15px 0px 16px 30px;
	padding: 0px;
	text-indent: 0em;
	}
code {
	font-family: monospace;
	font-size: 100%;
	background-color: #eee;}
.codesample
	{display: block; 
	font-family: monospace;
	font-size: 100%;
	text-align: center; 
	background-color: #eee; 
	margin: 3px 0px;}
.bigcodesample
	{display: block; 
	font-family: monospace;
	font-size: 100%;
	padding-left: 60px; 
	text-align: left; 
	background-color: #eee; 
	margin: 3px 0px;}
PRE {
	margin-top: 0px;
	padding-top: 0px;
	}
/* for some mad reason, IE won't respond to these: perhaps it applies the end-of-paragraph lower margin, assuming that PRE is a new block-level element? */

SUP {
	vertical-align: text-top;}/* pulls superscripts down to shoulder level so as to avoid ugly bulking out of the line-height */

span.highlight {background-color: yellow;}

a {
	color:#09c;
	text-decoration:none;
	font-weight:600;
	font-family:verdana, arial, helvetica, sans-serif;
	}
a:link {color:#09c;}
a:visited {color:#07a;}
a:hover {background-color:#eee;}

#Content {
	margin: 0px 50px 50px 200px;
	padding: 10px;
	}

#Menu {
	position: absolute;
	top: 100px;
	left: 20px;
	width:172px;
	height: 280px;
	background-color:#eee;
	line-height:17px;
	}

/* The above is a modified BlueRobot.com two-column layout, where by removing 22px of border and padding were removed from the DIV#Menu. Do not any account give it a border or padding as these will be wrongly put outside the width by IE5 */

TABLE.leftnav {margin: 11px;}

/* Below comes the part that handles the top navigation panel */

#topbar {
	background-color: darkgray; 
	margin: 0 auto; 
	text-align: center;
	}  
#topbar table {
	margin: 0 auto; 
	width: 100%;
	} 
#topbar table TD {
	background-color: #36648b; 
	padding: 2px 6px;  
	font-style: normal; 
	font-weight: 700; 
	font-family: tahoma, arial, helvetica, geneva, sans-serif;
	text-align: center;
	} 
/* this sets principal values of the top bar */

#PigginNetlogo {
	font-size: 20px;
	}
/* bolds up the "Piggin.Net" */

#topbar table TD .logolook {}
/* unused since its content is modified as class logoline below */

.nextprev {
	font-weight: 900; 
	font-size: 20px; 
	width: 50px; 
	text-align: center; 
	font-family: verdana;}
/* fattens up the left and right arrows */

A.logoline:link {text-decoration: none; color: white;}
A.logoline:visited {text-decoration: none; color: white;}
A.logoline:hover {text-decoration: none; color: yellow; background-color: #36648b;}
A.logoline:active {text-decoration: overline; color: white;}

/* Below comes the chain of "beads": the links to the pages of the article. The text colour is supposed to appear dark for links to unvisited pages, but pale for the current and visited ones. */

DIV.chain {text-align: right}
SPAN.printbutton {
	position: absolute; 
	left: 60px; 
	text-align: center; 
	vertical-align: top; 
	height: 18px; 
	background-color: darkgray; 
	padding: 1px; 
	border: none; 
	color: white; 
	font-size: 11px;
	text-decoration: none; 
	font-weight: 600; 
	font-family: verdana, arial, helvetica, sans-serif;
	}
table TD.beads {
	text-align: center; 
	vertical-align: top; 
	width: 18px; 
	height: 18px; 
	background-color: #99FF66; 
	padding: 1px; 
	border: none; 
	color: #669900; 
	font-size: 11px;
	text-decoration: none; 
	font-weight: 600; 
	font-family: verdana, arial, helvetica, sans-serif;
	}
a.speck {
	color: #333300; 
	font-size: 11px;
	text-decoration: none; 
	font-weight: 600; 
	font-family: verdana, arial, helvetica, sans-serif;
	}
a.speck:link {color:#333300;}
a.speck:visited {color: #669900;}
a.speck:hover {background-color:#eee;}

/* this styles the very bottom section of the page */
#Tailpiece {
	margin: 5px 5px;
	text-align: center;
	}

.gloss {
background-color: #eee;
cursor: help;}
