body {	
	font-family: Open Sans;
	padding: 0em;
}

.op_button {
  width: 5em;
  padding:1em;
}

.op_button2 {
  width: 7em;
  padding:1em;
}

.odd-color {
    background:#F2F2F2;
}

.machine_table {
	border: 1px solid #000000;
	border-collapse: collapse;
}

.machine_table td, th {
	border: 1px solid #000000;
	border-collapse: collapse;
	text-align: center;
	padding: 1em;
}

.io_table {
	border: 1px solid #000000;
	border-collapse: collapse;
}

.io_table td, th {
	border: 1px solid #000000;
	border-collapse: collapse;
	text-align: center;
	padding: 1em;
}

.io_dontcare {
	background:#DDDDDD;
}

.trace_table {
	border: 1px solid #000000;
	border-collapse: collapse;
}

.trace_table td, th {
	border: 1px solid #000000;
	border-collapse: collapse;
	text-align: center;
	padding: 1em;
}

#result {
	display:none;
}

.other {
	margin: 1em;
}

.op-history {
	text-align:left;
	width:90%;
	padding: 1em;
	margin-top:1em;
	border: 1px dashed #AAAAAA;
}
.target-desc {
	margin-bottom: 1em;
	font-size:17px;
}

h1 {
	padding:0;
	margin:0;
	font-size:2em;
}

.io-success-bg {
	background:#99FF99;
}

.io-failure-bg {
	background:#FF9999;
}