@import "../index.css";
table {
	padding: 1px;
	border: 1px solid #e0e0e0;
	border-top: 1px solid #808080;
	border-left: 1px solid #808080;
	color: #000040;
	margin-left: 3%;
	background: #eeeeee;
}
tr { background: #eeeeff; }
th {
	border-top: 1px solid #ffffff;
	border-left: 1px solid #ffffff;
	border-bottom: 1px solid #808080;
	border-right: 1px solid #808080;
	padding: 4px;
}
td {
	background: #ffffff;
	vertical-align: center;
	text-align: center;
	padding: 4px;
	font-family: monospace;
	font-weight: bold;
	color: #000080;
}
td.info {
	text-align: left;
	font-family: sans-serif;
	font-weight: normal;
	color: #000000;
}
td.u { font-size: 180%; padding: 0px;}
tt {
	color: #000080;
	font-weight: bold;
	background-color: #eeeeff;
	padding-right: 6px;
	padding-left: 6px;
}
pre {
	background: #eeeeff;
	padding: 4px;
	border: 1px solid #808080;
	color: #000080;
	margin-left: 3%;
	font-weight: bold;
}