/***********************************************************************
 * CSS rules provided by Hevea (a LaTeX to HTML translator)
 ***********************************************************************/
.toc {
	list-style: none;
}
.title {
	margin: 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;
}
.part {
	margin: auto;
	text-align: center
}


/***********************************************************************
 * 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;
}

/***********************************************************************
 * Put some space above each item in various types of list
 ***********************************************************************/
.dt-description, .li-itemize, .li-enumerate, .dt-list {
	margin-top: 1em;
}


/***********************************************************************
 * 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 {
	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, CODE {
	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 want to format this in two-column mode but I do not use the
 * "leftcolumn" and "rightcolumn" class styles because I want to modify
 * 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: 0pt;
	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%;
}