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

body {
	margin: 0;
	padding: 0;
}

.content-type-text .filebody {
	margin:1em;
}

.fileheader, .eof {
	background: #ccc;
	padding:1ex;
}

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;
}

div.filecode {
	font-family:monospace;
	color:black;
	font-weight:normal;font-style:normal; /* to be sure */
}