/* Style Sheet File */
/*
	link color: #06C;  (blue admadic)
	visited color: #393; (green admadic)
	text color: #444; (not too dark)
*/

div.page {
	background: url('../images/pagebg.png') repeat-y;
}

div.content {
	background: url('../images/pagebg.png') repeat-y;
	margin-top: 0;
}

div.devj {
	background: url('../images/javacup1.png') no-repeat;
	margin-top: 0;
	padding: 1em 1em 1em 1em;
}

.devj .code pre {
	background-color: #eee;
	border: 2px solid #aaa;
	margin: 10px 30px;
	padding: 5px;
	/* overflow: scroll; */
}

.devj .screenshot {
	margin: 10px 30px;
}

.devj .screenshot img {
	/* nothing */
}

.devj .papermeta {
	color: #888;
}

.devj * span.code {
	font-family: monospace;
	color: #448;
}

.devj * span.output {
	font-family: monospace;
	color: #000;
}

.devj * div.outputbox {
	white-space: pre;
	font-family: monospace;
	color: #000;
	background: #ccc;
}

.devj .license {
/*
	border: 2px solid #fcc;
	background: #fff8f8;
*/
	border: 2px solid #ccc;
	background: #f4f4f4;

	margin: 0.2em 30px;
	padding: 1em;
}

.devj .toc {
	float: right;
	margin: 1em;
	padding: 5px;
	border: 2px solid #ccc;
	background: #fcfcfc;
}
.devj .toc p {
	
}
.devj .toc > ul {
	/* padding: 1em; */
	/* list-style: none; */
}

.devj .totop {
	text-align: right;
	color: #aaa;
}

.devj .downloadtable {
	border: 2px solid #ccc;
	background: #f4f4f4;
}

.devj .downloadtable th {
	background: #ddd;
	text-align: left;
}

.devj .email .removethis {
	display: none;
}

.devj .downloadtable h3 {
	margin: 0;
	padding: 0;
}

.devj .md5 {
	font-family: monospace;
	font-size: 10pt;
}

/* end of file */