@charset "utf-8";

body {
	margin: 10px;
	padding: 0;
}

a {
	display: block;
	height: 1em;
	overflow: hidden;
	text-decoration: none;
	color: black;
}

a:active, a:focus {
	height: auto;
	cursor: default;
}

a:active span#common, a:focus span#common {
	display: none;
}

#xhtmlsource {
	font-family: monospace;
}

span.d {
	color: #4682b4;
	font-style: italic;
}

span.t {
	color: #800080;
	font-weight: bold;
}

span.a {
	color: black;
	font-weight: bold;
}

span.v {
	color: #0000ff;
	font-weight: normal;
}

span.e {
	font-weight: bold;
	color: #ff4500;
}

span.c {
	color: gray;
	font-style: italic;
}