/*
 * Cascading style sheet for DC=3 Dreams HTML Help 
 *
 * Copyright © 1998-2001, Robert B. Denny, All Rights Reserved
 *
 * Bob Denny	28-Nov-1998
 * Bob Denny	22-Jan-2001		Updated styles for IE 5.5, etc. 
 * Bob Denny	24-Sep-2013		Add alert, underline, yellowbg
 */

/*
 * Hyperlink coloring
 */
a:link		{ color: #0000FF; }
a:active	{ color: #FF33CC; }
a:visited	{ color: #800080; } 
a:hover		{ color: #FF0000; }

/*
 * Body and element defaults.
 */
body { 
	font-size: 70%;
	line-height: 125%;
	font-family: Verdana, Arial, Helvetica, sans-serif; 
	background-color: #FFFFFF;
} 

p {
	margin-top: .5em; 
	margin-bottom: .5em;
} 

h1 {
	font-size: 140%;
	font-family: Arial, Helvetica, sans-serif;
	margin-bottom: .5em;
	line-height: 125%;
} 

h2 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 120%;
	margin-top: 1.5em;
	margin-bottom: .5em;
} 

h3 {
	font-size: 100%;
	margin-top: 1.2em;
	margin-bottom: .5em;
} 

h4 {
	font-size: 100%; 
	color: maroon; 
	margin-top: 1.2em; 
	margin-bottom: .5em;
}

/*
 * List adjustments
 */

ul, ol, ul ul, ol ol, ol ul, ul ol {
	margin-left: 3.0em;
	margin-top: 0.75em; 
	margin-bottom: 0.75em; 
} 

li { 
	margin-top: 0.375em; 
	margin-bottom: 0.375em;
} 

dt {
	margin-top: 0.5em;
}

dd {
	margin-left: 1.5em;
}

/*
 * All code-like stuff is controlled by the <code> tag. This means
 * you need to use <pre><code> to get preformatted code. 
 */
pre	{
	padding: 0.25em;
	margin-top: 0.75em;
	margin-bottom: 0.75em;
	margin-left: 1.5em;
	background-color: #99FFFF;
} 
code { 
	margin-top: 0em; 
	margin-bottom: 0em; 
	font-family: "Lucida Console", "Lucida Sans Typewriter", "Courier New", monospace; 
} 

/*
 * Tables
 */
table { 
	font-size: 100%;
}

tr {
	margin: 0.5em;
	vertical-align: top;
	color: #000000;
}
			
th { 
	margin: 0.5em;
	text-align: left;
	background-color: #99FFFF;
	vertical-align: top;
	}
						
td {
	margin: 0.5em;
	text-align: left;
	vertical-align: top;
}

/*
 * Quick-class goodies
 */

.indent { 
	margin-left: 1.5em; 
} 

.small {
	font-size: 85%;
}

.alert {
	background-color: #CCFFCC;
}

.mini {
	font-size: 75%;
}

.yellowbg {
	background-color: #FFFF00;
}

.underline {
	text-decoration: underline; 
}

p.desc {
	padding: 0.25em;
	margin-left: 1.5em;
	background-color: #FFFF99;
}

div.note {
	margin-top: 1.5em;
	padding: 0.25em;
	margin-left: 3em;
	margin-right: 3em;
	background-color: Yellow;
}

div.copyright {
	color: Teal;
	font-size: 75%;
}