div.instructions {
	font-size: 12px;
	padding: 0px;
	margin: 0px;
	padding-left: 10px;
	border: 1px solid silver;
}

div.instructions h1 {
	margin-top: 20px;
}

div.instructions a {
	color:navy;
}

div.instructions a:hover {
	text-decoration: none;
}

div.instructions p {
	padding: 0px;
	padding-bottom: 5px;
	margin: 0px;
}

div.instructions .intro {
	padding-top: 10px;
}

div.instructions .section {
	padding-top: 20px;
}

div.instructions .section .title {
	padding-top: 10px;
	margin-top: 20px;
	border-top: 1px dashed silver;
	padding-bottom: 8px;
}

div.instructions .section .subsection {
}

div.instructions .section .infile {
	padding-top: 20px;
	margin-top: 0px;
	border-top: 0px;
}

div.instructions .section .keep .even {
	background-color: #f0f0f0;
}

div.instructions .section .add .even {
	background-color: #b0f0b0;
}

div.instructions .section .remove .even {
	background-color: #f0b0b0;
}

div.instructions .section .keep .odd {
	background-color: #e8e8e8;
}

div.instructions .section .add .odd {
	background-color: #a0e8a0;
}

div.instructions .section .remove .odd {
	background-color: #e8a0a0;
}

div.instructions .section .subsection .code {
	font-family: monospace;
	white-space: nowrap;
}

div.instructions .end {
	padding-top: 50px;
	padding-bottom: 30px;
	font-weight: bold;
	color: navy;
}