body { 
    margin: 75px; 
    font-size: 11pt;
}

span.bar {
    text-decoration: overline;
}

col.LG74 { 
    font-size: smaller;
}

pre.code {
    font-family: courier;
    font-size: small;
    background-color: #ddd;
    padding: 10px;
}

pre.template {
    font-size: smaller;
    border-left: black solid 1px;
    padding-left: 25px;
}

div.sidenote {
	float: left;
	width: 300px;
	margin: 0px 15px 15px -70px;
	padding: 5px;
	background-color: #eee;
	font-size: 9pt;
}

div.sidenote h1 {
	font-size: 12pt;
}

table { margin: 10px; }

table th,td { font-family: arial, helvetica, sans-serif; }

img { margin: 10px; }

table.equation {  width: 80%; }

table.truthtable {
    border: none;
    border-collapse: collapse;
}

table.truthtable td,th {
    text-align: center;
    font-family: courier, fixed, monospace;
    padding: 1px 5px 1px 5px;    
}

table.truthtable col.output {
    border-left: black solid 2px;
}

table.truthtable th {
    border-bottom: black solid 2px;
    padding: 1px 5px 1px 5px;
}

table.adder { 
    border: none;
    border-collapse: collapse;
}

table.adder tr.carry td {
    color: red;
    font-size: x-small;
}

table.adder tr.sum td { 
    border-top: green solid 2px; 
}