body {
	width: 320px;
	height: auto;
	font-size: 12px;
	margin: auto;
	display: block;
	white-space: nowrap;
}
.nav {
	text-align: center;
	border-radius: 0 0 15px 15px;
	opacity: 1.0;
	margin: 0px auto 0 auto;
	font-family: sans-serif;
	font-size: 20px;
	font-weight: 700;
	padding: 3px;
	z-index: 950;
	width: 320px;
}
.nav > h4{
	margin: 5px;
	letter-spacing: 3px;
	font-weight: 700;
	font-family: sans-serif;
}
.container {
	margin: 10px auto 5px auto;
	border-radius: 15px;
	border: 3px double #f0f0f0;
	clear: both;
}
#input {
	margin: 5px auto 5px auto;
	width: 98%;
	font-family: monospace
}
#output{
	padding: 4px;
	font-family: monospace;
}
div[data=on], div[data=on]:hover {
	border: 1px solid rgba(224,131,128,0.7);
	font-weight: 500 !important;
}

#truth-table-parent {
	font-weight: 500 !important;
}
#truth-table-parent > thead > tr > td{
    font-weight: 800 !important;
    padding: 16px !important;
    font-size: 16px !important;
    letter-spacing: 3px !important;
    background: #e6e6e6;
}
#truth-table-parent > tbody > tr > td:first-child {
    letter-spacing: 3px !important;
}