.oldbrowser {
	display: none;
}
.box {
	clear: both;
	margin: 0.5em 0;
	border: 2px solid;
	padding: 0.5em;
	color: #009;
	background: #eef;
}
.code {
	font-family: "Courier New", Courier, monospace;
}
.indent {
	margin-left: 1em;
}
.ctr {
	margin-left: auto;
	margin-right: auto;
	text-align: center;
}
li {
	margin-top: 0.15em;
	margin-bottom: 0.15em;
}
.hr {
	border-bottom: 0.3em inset #eef;
}
.fig {
	border: 2px solid;
	margin: 0.5em;
	padding: 0.5em;
	color: #009;
	background: #efe;
	font-size: 0.9em;
}
.ul {
	text-decoration: underline;
}
.sup {
	vertical-align: super;
	font-size: 0.7em;
	padding-left: 0.1em;
}
.sub {
	vertical-align: sub;
	font-size: 0.7em;
	padding-left: 0.1em;
}
.worktodo {
	color: inherit;
	background: #fdd;
}
table.bits {
	margin-left: auto;
	margin-right: auto;
	text-align: center;
	border-collapse: collapse;
}
td.bit {
	width: 30px;
	height: 30px;
	border: 1px solid #009;
	font-family: "Courier New", monospace;
}
td.hidbit {
	width: 30px;
	height: 30px;
	border-style: dotted none none dotted;
	border-color: #009;
	border-width: 1px;
	font-family: "Courier New", monospace;
}
td.hidbitbtm {
	width: 30px;
	height: 30px;
	border-style: dotted none dotted dotted;
	border-color: #009;
	border-width: 1px;
	font-family: "Courier New", monospace;
}

td.bits { /* bit sign */
	color: inherit;
	background: #fdd;
	width: 30px;
	height: 30px;
	border: 1px solid #009;
	font-family: "Courier New", monospace;
}
td.bite { /* bit exponent */
	color: inherit;
	background: #dfd;
	width: 30px;
	height: 30px;
	border: 1px solid #009;
	font-family: "Courier New", monospace;
}
td.bitm { /* bit mantissa */
	color: inherit;
	background: #ddf;
	width: 30px;
	height: 30px;
	border: 1px solid #009;
	font-family: "Courier New", monospace;
}
td.bitssup { /* bit sign with superscript chars */
	color: inherit;
	background: #fdd;
	width: 30px;
	height: 30px;
	border: 1px solid #009;
	font-family: "Courier New", monospace;
	padding-bottom: 0.7em; /* for Netscape, instead of vertical-align */
	font-size: 0.7em;
}
td.bitesup { /* bit exponent with superscript chars */
	color: inherit;
	background: #dfd;
	width: 30px;
	height: 30px;
	border: 1px solid #009;
	font-family: "Courier New", monospace;
	padding-bottom: 0.7em; /* for Netscape, instead of vertical-align */
	font-size: 0.7em;
}
td.bitgrey {
	color: #aaa;
	background: #ddd;
	width: 30px;
	height: 30px;
	border: 1px solid #009;
	font-family: "Courier New", monospace;
}
td.carry {
	width: 30px;
	height: 30px;
	border: 1px dotted #009;
	border-bottom: 1px solid #009;
	font-family: "Courier New", monospace;
}
td.ovr {
	width: 30px;
	height: 30px;
	border: 1px dotted red;
	font-family: "Courier New", monospace;
}
td.hid {
	width: 30px;
	border: 1px solid #ffe;
	border-right: #009;
}
td.decequiv { /* decimal equivalent */
	width: 3em;
	text-align: right;
}
td.decmant { /* decimal mantissa */
	text-align: left;
	padding-left: 1em;
}
td.legcap { /* legend caption */
	width: 8em;
	padding-left: 0.2em;
	text-align: left;
	font-size: 0.9em;
}
td.dottedsides {
	border-left : 1px dotted #009;
	border-right: 1px dotted #009;
}

