/* 
 * Style Sheet used for the manuals.
 *
 * This was used before the introduction of docbook generated
 * manuals and documentations.
 *
 * $Id: manual.css 1243 2008-02-28 23:01:26Z rafi $
 */

/* 
 * This is used in the manual for displaying stuff to be 
 * entered on the terminal
 */
.terminal {
	text-align: left;
	margin-top: 1ex;
	margin-bottom: 1ex;
	margin-left: 4ex;
	font-family: monospace;
}

/*
 * This is used for explanations in for .terminal
 */
.terminalexpl {
	margin-left: 4ex;
	margin-bottom: 1ex;
}

/* 
 * This is used for making references to .terminal stuff.
 */
.terminalref {
	font-family: monospace;
}

/*
 * This is used for marking strings literal shown in a window
 */
.literalwindow {
	background-color: #BFBFBF;
	color: black;
	border-style: dotted;
	border-width: 1px;
	padding-left: 2px;
	padding-right: 2px;
}

/*
 * The <div> holding [ Top ]
 */
div.totop {
	text-align: right;
	margin-top: 2ex;
}

/*
 * Table of Contente
 */
div.toc {
	text-align: left;
}

div.screenshot {
	margin: 1ex 1ex 1ex 1ex;
	float: none;
	clear: both;
	text-align: center;
}

span.toc1 {}

span.toc2 {
	margin-left: 1ex;
}

ol {
	padding-top: 0.5ex;
	padding-bottom: 0.5ex;
}

ol ol {
	padding-left: 3ex;
	list-style-type: lower-alpha;
}

ol li {
	padding-top: 1ex;
	padding-bottom: 1ex;
}