body {
	background-color : #f0f0f0 ;
}

h1 {
	width : 100% ;
	background-color : #504060 ;
	border-width : 1px ;
	border-style : solid ;
	border-color : #101010 ;
}

h2,h3,h4,h5,h6 {
	width : 100% ;
	background-color : #504060 ;
}

a[href] {
	color : #8080FF ;
	text-decoration : none ;
	font-weight : bold ;
}


div.code {
	background-color : #203060 ;
}

div.bad_code {
	background-color : #603020 ;
}

span.emphasis {
	color : #FF4080 ;
	font-weight : bold ;
	font-size : larger ;
}
