body { font-family: helvetica, sans-serif; }
span.strong { font-weight: bold; }
div.appendix { font-size: 70%; }