/* $RCSfile: style.css,v $
 * $Revision: 1.3 $ $Date: 2005/11/29 23:29:33 $
 * Auth: Dave Loffredo (loffredo@steptools.com)
 * 
 * in css dot (.) applies to a class=foo
 * in css hash (#) applies to a id=foo
 */

BODY {
	background: white;
}

/* Use the default browser color, but flash the underline and color */
A:link    { text-decoration: underline; }
A:visited { text-decoration: underline; }
A:hover   { color: #FF0000; text-decoration: none; }


H1 { 
	font-family: helvetica, arial; 
	border-bottom: groove thin;
	padding-bottom: 0.5em; 
}

H2,H3 { 
	font-family: helvetica, arial; 
}


/* Use for main content in a single column flow */
DIV.main {
	margin-left: 5%; 
	margin-right:5%; 
	padding: 0.5em; 
}

/* Use for single column flow content that you want to stand out */
DIV.box {
	margin-left: 10%; 
	margin-right:10%; 
	padding: 0.5em; 
	background:#efefef; 
	border: solid 1px black;
}

DIV.figure {
	text-align:center; 
	padding-top: 1em;
	padding-bottom: 1em;

}

DIV.footer {
	font-size: 	80%;
	margin-right: 	20%;
	margin-left: 	20%;
	margin-top: 	2em;
	margin-bottom: 	1em;
	padding: 	0.5em;
	text-align: 	center;
	border-top: 	1px solid #000000;
	clear: both; /* avoid interference with floats */
}

/* ============================================================
 * TABLES - Since tables are often used for formatting, make them
 * borderless so that we dont have to turn things off.
 */
TABLE { 
	vertical-align: top; 
	border: none; 
	border-collapse: collapse;
} 

/* For normal text tables, as opposed to ones used for  formatting. 
 * The auto margins will center tables on Moz and opera, but we force
 * center in the html tag because IE will not center tables through
 * CSS unless you center the entire body block.
 */
TABLE.normal { 	width: 70%; 
	/* margin-left: auto; */
	/* margin-right: auto; */
	margin-top: 1em;
	margin-bottom: 1em;
	border: solid 2px black}
TABLE.normal TD { 	vertical-align: top; margin: 0px; padding: 0.25em; } 
TABLE.normal TH { 	vertical-align: top; margin: 0px; padding: 0.25em; 
			border-bottom: solid 2px black; } 

/* For the main body in a two column flow content. */ 
TD.main {
	width: 70%; 
	padding-top: 0.5ex; 
	padding-left: 1.5em; 
	padding-right: 1.5em; 
}


/* For the display box in a two column flow */
TD.box { 
	width: 30%; 
	border: solid 1px black; 
	background: #efefef; 
	padding-top: 0.5ex; 
	padding-left: 0.5em; 
	padding-right: 0.5em; 
}

TD.box H2 { 
	font-size: 120%; 
	text-align: center;
	padding-top: 0.2em;
	padding-bottom: 0.2em;
	border-bottom: groove thin;
	background: #e0e0e0;
}

/* TD.box DL { font-size: 80%; } */

TD.box DT { 	
	font-weight: bold; 
	/*
	display: list-item; 
	list-style-type: disc;
	list-style-position: inside;
	*/
}

TD.box DD { 
	font-size: 80%; 
	margin-left: 2em; 
	margin-bottom: 2ex;
}


/* Table of contents display box.  For local links to all of the
 * sections on the current page. We usually put a search box there 
 * too.  Do not put external links here, put them in the page body.
 */
DIV.bktoc {
	font-size: 	80%;
	width: 		20em; 
	border: 	solid 1px black; 
	background: 	#efefef; 
	padding: 	1em; 
	margin-left: 	1em; 
	margin-bottom: 	1em; 
	float: 		right;
}

/* Kill the indent on lists and use different bullets.  Some browsers
 * use margin and others use padding, so set both to zero and just use
 * the padding 
 */
.bktoc UL{
	margin: 0; 
	padding: 0;
	padding-left: 1.5em;
	list-style-type: square;
}
.bktoc UL UL {
	list-style-type: disc; 
}


/* ============================================================
 * PARAGRAPH AND FONT STYLES - Used primarily by the reference manuals
 * generated from Framemaker, but available for other pages as well.
 */
SPAN.keyword {
	font-weight: bold;
}

SPAN.code {
	font-size: 95%;
	font-weight: bold;
 	font-family: monospace;
}

PRE.code {
	margin-left: 5%; 
	margin-right:5%; 
	padding: 0.5em; 
	background:#efefef; 
	border: solid 1px black;
}

/* Turn off the fancy backgrounds when used in tables */
TD PRE.code, TH PRE.code { 
	background: none; 
	border: none;
	margin: 0; 
	padding: 0; 
}

/* In the printed manuals, we use an alert icon, here we just use red
 * bars on each side.  There may be better ways to make it stand out.
 */
P.alert {
	border-left: solid 3px red; 
	border-right: solid 3px red; 
	padding-left: 0.5em;
	padding-right: 0.5em;
}