.save
{
		behavior:			url(#default#savehistory);
}

a.dsphead:hover
{
		text-decoration:	none;
		color:				purple;
}

a.dsphead
{
		text-decoration:	none;
		color:				teal;
}

a.dsphead span.dspchar
{
		font-family:		monospace;
		display:			none;
}

.dspcont
{
		display:			none;
		margin-left:		1.5em;
}

p
{
		font-weight:		600;
}

li
{
		font-weight:		400;
		font-size:			smaller;

}

code
{
		font-family:		monospace;
		font-weight:		600;
		color:				blue;
		font-size:			smaller;
		
}

code.in
{
		font-family:		monospace;
		font-weight:		600;
		color:				#66FF66;
		font-size:			smaller;
		background:			black;
		
}

code.out
{
		font-family:		monospace;
		font-weight:		600;
		color:				#9999FF;
		font-size:			smaller;
		background:			black;
		
}