/* JSSP styles */

body {
	border-width: thin;
	border-style: none;
	border-color: #E0E0E0;
	font-family: verdana, sans-serif;
	font-size: 0.9em;
	padding: 10px;
	max-width: 800px;
	left: 50px;
	margin-left: 50px;
	width: 800px;
}

td {
	font-size: small;
}

p {
	line-height: 1.4em;
	padding-left: 4px;
	max-width: 700px;
	width: 700px;
	margin-left: 24px;
}
pre {
	font-family: Monaco, Consolas, "Lucida Console", monospace;
	font-size: medium;
	width: 700px;
}

h1 {
	font-size: 2em;
	background-color: #DFDFFF;
	border-bottom-style: solid;
	border-bottom-color: blue;
	margin-left: 2px;
	padding: 4px;
	width: 700px;
}

h2 {
	font-size: 1em;
	background-color: #DFDFFF;
	border-bottom-style: solid;
	border-bottom-color: blue;
	border-bottom-width: 1px;
	margin-left: 8px;
	padding: 2px;
	width: 700px;
}

h3 {
	font-size: 1em;
	background-color: #DFDFFF;
	margin-left: 16px;
	padding: 2px;
	width: 700px;
}

h4 {
	font-size: 1em;
	background-color: #DFDFFF;
	margin-left: 24px;
	padding: 2px;
	width: 700px;
}

h5 {
	font-size: 1em;
	background-color: #DFDFFF;
	margin-left: 32px;
	padding: 1px;
	width: 700px;
}

.toc2 {
	padding-left: 1em
}

.toc3 {
	padding-left: 3em
}

.toc4 {
	padding-left: 5em
}

.toc5 {
	padding-left: 7em
}

.important {
	background-color: #FFFF78;
	color: #000000;
	border: 1px solid #808000;
	margin-left: 16px;
	padding: 2px;
}

.jssp_code {
	font-family: Monaco, Consolas, "Lucida Console", monospace;
	background-color: #F0F0DF;
	color: #000000;
	border: 1px solid #000080;
	margin-left: 3px;
	padding: 2px;
}

.jssp_inline {
	background-color: #F0F0DF;
	color: #000000;
	margin-left: 3px;
	padding: 0;
	font-family: Monaco, Consolas, "Lucida Console", monospace;
	white-space: nowrap;
	font-size: medium;
}

.filename {
	padding: 0;
	font-style: italic;
}

.xml_code {
	font-family: Monaco, Consolas, "Lucida Console", monospace;
	background-color: #DFC0C0;
	color: #000000;
	border: 1px solid #800000;
	margin-left: 3px;
	padding: 2px;
}

.xml_inline {
	font-family: "Monaco,Consolas,"Lucida Console",monospace";
	background-color: #DFC0C0;
	color: #000000;
	margin-left: 3px;
	padding: 0;
	font-family: monospace;
	white-space: nowrap;
	font-size: medium;
}

.cmdline {
	background-color: #E0E0E0;
	font-family: monospace;
	font-weight: bold;
	white-space: nowrap;
}
li {
	width: 700px;
	clip: rect(auto, auto, auto, auto);
	list-style-position: outside;
	line-height: 1.4em;
}
table {
	width: 700px;
}