body {
	margin: 0;
	padding: 0;
	font-family: sans;
}

div#viewsource_topbar {
	margin: 0;
	padding: 0;
	background-color: #147;
}

div#viewsource_topbar a {
	display: block;
	padding: 1em;
	color: #f70;
	text-decoration: none;
}

div#viewsource_topbar a:hover {
	background-color: #258;
	text-decoration: underline;
	color: #f81;
}

div#viewsource_code {
	padding: 1em;
}