.li-itemize{margin:1ex 0ex;}
.li-enumerate{margin:1ex 0ex;}
.dd-description{margin:0ex 0ex 1ex 4ex;}
.dt-description{margin:0ex;}
.toc{list-style:none;}
.thefootnotes{text-align:left;margin:0ex;}
.dt-thefootnotes{margin:0em;}
.dd-thefootnotes{margin:0em 0em 0em 2em;}
.footnoterule{margin:1em auto 1em 0px;width:50%;}
.caption{padding-left:2ex; padding-right:2ex; margin-left:auto; margin-right:auto}
.title{margin:2ex auto;text-align:center}
.center{text-align:center;margin-left:auto;margin-right:auto;}
.flushleft{text-align:left;margin-left:0ex;margin-right:auto;}
.flushright{text-align:right;margin-left:auto;margin-right:0ex;}
DIV TABLE{margin-left:inherit;margin-right:inherit;}
PRE{text-align:left;margin-left:0ex;margin-right:auto;}
BLOCKQUOTE{margin-left:4ex;margin-right:4ex;text-align:left;}
TD P{margin:0px;}
.boxed{border:1px solid black}
.textboxed{border:1px solid black}
.vbar{border:none;width:2px;background-color:black;}
.hbar{border:none;height:2px;width:100%;background-color:black;}
.hfill{border:none;height:1px;width:200%;background-color:black;}
.vdisplay{border-collapse:separate;border-spacing:2px;width:auto; empty-cells:show; border:2px solid red;}
.vdcell{white-space:nowrap;padding:0px;width:auto; border:2px solid green;}
.display{border-collapse:separate;border-spacing:2px;width:auto; border:none;}
.dcell{white-space:nowrap;padding:0px;width:auto; border:none;}
.dcenter{margin:0ex auto;}
.vdcenter{border:solid #FF8000 2px; margin:0ex auto;}
.minipage{text-align:left; margin-left:0em; margin-right:auto;}
.marginpar{border:solid thin black; width:20%; text-align:left;}
.marginparleft{float:left; margin-left:0ex; margin-right:1ex;}
.marginparright{float:right; margin-left:1ex; margin-right:0ex;}
.theorem{text-align:left;margin:1ex auto 1ex 0ex;}
.part{margin:2ex auto;text-align:center}
.framed{	border: 1px solid black; 
	padding-left: 8pt;
	padding-right: 8pt;
	padding-top: 0pt;
	padding-bottom: 0pt;
}
.leftbar{	border-left: 4px solid black; 
	padding-left: 6pt;
	padding-right: 6pt;
	padding-top: 0pt;
	padding-bottom: 0pt;
}
/***********************************************************************
 * Override some defaults provided by HeVeA (a LaTeX to HTML translator).
 ***********************************************************************/
img {
	border-width: 0px
}


/***********************************************************************
 * Defaults for the entire document:
 *	Sans-serif font.
 *	Black text on a very pale background.
 *	No padding or margins
 ***********************************************************************/
body {
	font-family: Verdana,Helvetica,Arial,sans-serif;
	color: black;
	background-color: #edb;
	margin-right: 0pt;
	margin-left: 0pt;
	margin-top: 0pt;
	margin-bottom: 0pt;
	padding-left: 0pt;
	padding-right: 0pt;
}

.content {
	padding-left: 6pt;
	padding-right: 6pt;
}


/***********************************************************************
 * A LaTeX "\paragraph{...}" is turned in <h5 class="paragraph">...</h5>
 ***********************************************************************/
.paragraph {
	font-size: medium;
	margin-top: 1em;
	margin-bottom: 0pt;
}


/***********************************************************************
 * Change the appearance of links for cosmetic reasons.
 ***********************************************************************/
a:link, a:visited {
	text-decoration: underline;
	color #6A5ACD;
	background-color: transparent;
}
a:hover, a:active {
	text-decoration: none;
	color #191970;
	background-color: #C9C3ED;
}
h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover, h5 a:hover,
				dt a:hover, .poemtitle a:hover {
	color black;
	background-color: #edb;
}
#bannerleft a:link, #bannerleft a:visited,
				#bannerleft a:active, #bannerleft a:hover {
	color black;
	background-color: transparent;
	text-decoration: none;
}


/***********************************************************************
 * "TT" and "PRE" correspond to use of typewriter fonts in LaTeX.
 * In some web browsers (for example, Internet Explorer and Firefox)
 * the typewriter fonts look a bit too small, so I artifically increase
 * their size here. In some other web browssers, including Konqueror,
 * this results in the typewriter font looking too large. This seems to
 * be the lesser or two evils.
 ***********************************************************************/
TT, PRE {
	font-size: larger;
}


/***********************************************************************
 * I use <div class="leftcolumn"> and <div class="rightcolum"> to
 * layout two-column text, and afterwards use <div class="endtwocolumntext">
 * to compensate for different lengths in the two columns.
 ***********************************************************************/
.leftcolumn {
	float: left;
	width: 47%;
	margin-right: 3%;
}
.rightcolumn {
	float: right;
	width: 47%;
	margin-left: 3%;
}
.endtwocolumntext {
	clear: both;
}


/***********************************************************************
 * Style for the banner at the top of the page that is formatted as
 * 
 *	CiaranMcHale.com                   site map   about  download
 *
 * I format this in two-column mode and reduce the font sizes.
 * Afterwards, I use <div class="endtwocolumntext"/> to compensate
 * for different lengths in the two columns.
 ***********************************************************************/
.banner {
	background-color: #db9;
	padding-left: 6pt;
	padding-right: 6pt;
	padding-top: 2pt;
	padding-bottom: 2pt;
	margin-left: 0pt;
	margin-right: 0pt;
	margin-top: 0pt;
	margin-bottom: 5pt; /* space between banner and navigation buttons */
	border-bottom: 1px solid black;
}
#bannerleft {
	font-size: 140%;
	float: left;
	width: 47%;
	margin-right: 3%;
}
#bannerright {
	font-size: 80%;
	text-align: right;
	float: right;
	width: 47%;
	margin-left: 3%;
}