DIV.samefilelabel {
	font-family: sans-serif;
	font-size: 95%;
	padding-top: 5px;
	padding-bottom: 5px;
	background-color: #eae4e4;
	color: #552828;
	border: 2px solid #908080;
	border-width: 1px 1px 2px 1px;
	margin-top: -12px;
	margin-left: -21px;
	margin-right: -12px;
	margin-bottom:4px;
	font-weight: bold;
	padding-left: 20px;
	-moz-border-radius-topleft: 9px;
	-webkit-border-top-left-radius: 9px;
	border-top-left-radius: 9px;
	-moz-border-radius-topright: 9px;
	-webkit-border-top-right-radius: 9px;
	border-top-right-radius: 9px;
	/*position:relative;
	z-index:2;*/
}

DIV.difffilelabel {
	font-family: sans-serif;
	font-size: 95%;
	padding-top: 6px;
	padding-bottom: 5px;
	background-color: #ffe0e0;
	color: #552828;
	border: 2px solid #E0A0A0;
	border-width: 1px 1px 2px 1px;
	margin-top: -12px;
	margin-left: -21px;
	margin-right: -12px;
	margin-bottom:4px;
	font-weight: bold;
	padding-left: 20px;
	-moz-border-radius-topleft: 9px;
	-webkit-border-top-left-radius: 9px;
	border-top-left-radius: 9px;
	-moz-border-radius-topright: 9px;
	-webkit-border-top-right-radius: 9px;
	border-top-right-radius: 9px;
	/*position:relative;
	z-index:2;*/
}

DIV.fragment {
	white-space:nowrap;
	font-family: Consolas, monospace, fixed;
	border: 2px solid #CCCCCC;
	border-width: 1px 2px 2px 1px;
	background-color: #f5f5f5;
	margin: 0px;
	margin-top: 6px;
	padding-left: 18px;
	padding-right: 8px;
	padding-top: 8px;
	padding-bottom: 8px;
	overflow:auto;
	-webkit-box-shadow: 2px 4px 8px #BBB;
	-moz-box-shadow: 2px 4px 8px #BBB;
	box-shadow: 2px 4px 8px #BBB;
}

DIV.tutorial_fragment {
	white-space:nowrap;
	font-family: Consolas, monospace, fixed;
	border: 2px solid #A0A0A0;
	border-width: 1px 2px 2px 1px;
	background-color: #EEE;
	margin: 0px;
	margin-top: 6px;
	padding-left: 18px;
	padding-right: 8px;
	padding-top: 8px;
	padding-bottom: 8px;
	font-size: 105%;
	/*-moz-border-radius-topleft: 9px;
	-webkit-border-top-left-radius: 9px;
	border-top-left-radius: 9px;
	-moz-border-radius-topright: 9px;
	-webkit-border-top-right-radius: 9px;
	border-top-right-radius: 9px;*/
	-webkit-box-shadow: 2px 4px 8px #BBB;
	-moz-box-shadow: 2px 4px 8px #BBB;
	/*position:relative;
	z-index:0;*/
}

DIV.fragment pre, DIV.tutorial_fragment pre {
	font-family: Consolas, monospace, fixed;
	margin:0;
	padding:0;
}

DIV.washout {/*
	position:absolute;
	left:0;
	top:0;
	z-index:1;
	width:100%;
	height:100%;
	background-color:rgba(238,238,238,.4);*/
}

/*DIV.washout:hover {
	z-index:-1;
	visibility:hidden;
}
DIV.tutorial_fragment:hover, DIV.tutorial_fragment:hover * {
	z-index:2;
	position:relative;
}*/
/*DIV.tutorial_fragment:hover DIV.newcode {
	z-index:2;
	position:relative;
	border:1px solid transparent;
	background-color:transparent;
}*/

DIV.oldcode {
	opacity:.5;	
}

DIV.newcode {
	padding-top: 3px;
	padding-bottom: 3px;
	padding-left: 16px;
	margin-top: 3px;
	margin-bottom: 3px;
	margin-left: -16px;
	margin-right: -6px;
	border: 1px dashed #BBB;
	background-color: #fffff8;
	position:relative;
	z-index:2;
}

DIV.fragment DIV.subsection, DIV.tutorial_fragment DIV.subsection {
	margin-left:3em;
}

P.followon { margin-bottom:.25em; }