body { max-width: 80ex }
body { margin-left: 1.2cm }

th.highlight { background-color: #ddeeff }