/* This file has been lost. Quick regen... */

@import url("basic.css");	/* Import basic styles */

body {
	margin: 0;
	padding: 0;
}

.fileheader {
	background: #ccc;
}

.fileheader p,
div.subline p {
	margin: 0;
}

pre.rawcontent {
	margin: 0;
	padding: 0;
}

div.img_preview {
	background: #ccc;	
	text-align: center;
}
div.img_preview img {
	margin: 1ex;
	border: 1px solid #000;
}
div.subline {
	font-family:Verdana, Arial, Helvetica, sans-serif;
	font-size: 84%;
	margin: 1ex auto;
	width: 80%;
	padding: 1ex;
	background: #aaa;
	border: 1px solid #000;
}

.linenr {
	background: #ddd;
}

.eof {
	background: #ccc;
}