/***********************************************************************
 * 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;
}
.caption {
	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: #FFF;
	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;
}

/***********************************************************************
 * A LaTeX "framed" environment is turned in <div class="framed">...</div>
 ***********************************************************************/
.framed {
	border:1px solid black; 
	padding-left: 8pt;
	padding-right: 8pt;
	padding-top: 0pt;
	padding-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: black;
	background-color: #88DDFF;
}
h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover, h5 a:hover, dt a:hover {
	color: black;
	background-color: #FFF;
}
#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: 140%;
}


/***********************************************************************
 * "h1" is used for LaTeX chapter titles. The default of using a huge
 * font size for "h1" looks awful when using LaTeX to design web pages
 * so I change "h1" to get a small font, with centered, with padding
 * above and below, and a thin horizontal line below. This results in
 * a suble, non-distracting title for a web page.
 ***********************************************************************/

h1 {
	text-align: center;
	font-size: 80%;
	padding-top: 0.4em;
	padding-bottom: 1em;
	margin-bottom: 2em;
	border-bottom: 1px solid black;
}


/***********************************************************************
 * 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
 * 
 *	config4star.org                        site map   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: #FFF;
	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: 22%;
	margin-right: 3%;
}
#bannerright {
	font-size: 80%;
	text-align: right;
	float: right;
	width: 72%;
	margin-left: 3%;
}