/* for lattice diagrams */
body { font-family:sans; }
td.space { width:2em; }
td.cell { border:solid 1px; width:2em; text-align:center; font-family:mono; font-size:12pt; }