* { font-family: Verdana, Arial, Helvetica, sans-serif; }
body { margin: 20px }
table.nav td { background-color: #eee; }
h1 { font-size: 120%; }
p.description { line-height: 140%; }
p.footer { font-size: 90%; color: #333; }
span.common { font-weight: normal; }
span.before_change { font-weight: bold; color: red; }
span.after_change { font-weight: bold; color: red; }