*{
	font-family			:	monospace						;
	font-size			:	12px							;
}
body{
	margin				:	0em								;
	padding				:	0em								;
}
pre{
	margin				:	0em								;
	padding				:	0em								;
	border				:	0px none transparent			;
}
#source-layer{
	position			:	absolute						;
	top					:	0px								;
	left				:	0px								;
	z-index				:	1								;
	width				:	100%							;
	filter				:	alpha(opacity=90)				;
	-moz-opacity		:	0.90							;
	opacity				:	0.90							;
	font-weight			:	bold							;
}
#source-layer *{
	font-weight			:	bold							;
}
html > body #source-layer{
	position			:	fixed							;
}
#source-layer.open #source{
	display				:	block							;
}
#source-layer.close #source{
	display				:	none							;
}
#source{
	background-color	:	#ffffff							;
	padding				:	1em								;
	margin-left			:	auto							;
	margin-right		:	auto							;
}
#source textarea{
	width				:	100%							;
	height				:	20em							;
}
#source-reflect-button{
	width				:	100%							;
	margin				:	0em								;
	padding				:	0em								;
	border				:	1px solid #cccccc				;
	background-color	:	#f0f0f0							;
}
#source-display-button{
	width				:	100%							;
	margin				:	0em								;
	padding				:	0em								;
	border-top			:	1px solid #cccccc				;
	border-bottom		:	1px solid #cccccc				;
	border-left			:	0px none transparent			;
	border-right		:	0px none transparent			;
	background-color	:	#f0f0f0							;
}
/*
#source-layer button img{
	width				:	24px							;
	height				:	24px							;
}
#source-layer.open button img{
	background-image	:	url("source-button-open.png")	;
}
#source-layer.close button img{
	background-image	:	url("source-button-close.png")	;
}
*/
#source-display{
	padding				:	2em								;
}
.line-number{
	padding				:	0em	0.5em						;
/*	background-color	:	#999999							;*/
	display:inline;
}
.source-inner{
	display:inline;
}
.source-outer{
}
.open-close-button{
	font-size			:	9px								;
	width				:	6em								;
	height				:	1.5em							;
	margin				:	0em								;
	padding				:	0em	1em							;
	border				:	0px none transparent			;
	text-align			:	right							;
	font-weight			:	bold							;
}
.source-outer.open .open-close-button{
	color				:	#000000							;
	background-color	:	#eeeeee							;
}
.source-outer.close .open-close-button{
	color				:	#ff6666							;
	background-color	:	#eeeeee							;
}
.source-outer.hidden .open-close-button{
	color				:	#666666							;
	background-color	:	#cccccc							;
}