@CHARSET "ISO-8859-1";

.pass {
	color: blue;
}

.fail {
	color: red;
	text-decoration: underline;
}

.error {
	color: red;
}

#assertOut {
	font-weight: bold;
	font-family: monospace;
	font-size: 15px;
	margin-top: 2px;
}

#vincenzo_home,#vincenzo_home:link { /*background-color: #444444;*/
	color: #444444;
	font-style: normal;
	font-weight: bold;
	text-decoration: none;
}

#vincenzo_home:hover {
	color: #b90c0c;
	text-decoration: none;
}

h1 {
	font-size: 38px;
	margin-bottom: 0;
	font-weight: bold;
}

h2 {
	font-size: 15px;
	margin-bottom: 10px;
	margin-top: 0;
	font-style: italic;
	color: #888888;
}

h3 {
	font-size: 15px;
	margin-bottom: 40px;
	margin-top: 0;
	font-style: normal;
}

p {
	margin: 2px;
}

body {
	font-family: helvetica, tahoma, verdana, sans-serif;
	font-size: 13px;
	padding-left: 15px;
}

.li_flat {
	list-style-type: none;
	color: #0000FF;
}

.li_string {
	list-style-type: none;
	color: #0000FF;
	font-style: italic;
}

.ul_object .li_key {
	color: #FF0000;
	list-style-type: circle;
}

.ul_array {
	
}

.ul_object {
	
}