.title     { color: #639; font-weight: 500; font-size: large; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular; text-align: center }
.button { color: gray; font-weight: bold; font-size: small; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular; border: outset thin black }
.body    { color: black; font-size: x-small; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular; margin-bottom: 1em }
.numbered { color: black; font-size: x-small; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular; list-style-type: decimal; list-style-position: outside; margin-left: 10pt }
.list   { color: black; font-size: x-small; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular; list-style-type: disc; list-style-position: outside; margin-top: 0.2em; margin-bottom: 0.2em; margin-left: 10pt }
.subtitle       { color: #339; font-weight: bold; font-size: medium; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular; margin-top: 0.5em }
.section    { font-weight: bold; font-size: x-small; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular; margin-top: 0.5em; margin-bottom: 0.5em }
.jumps { color: #81bdff; font-style: oblique; font-weight: bold; font-size: small; font-family: Arial, Helvetica, Geneva, Swiss, Arial, Helvetica, Geneva, SunSans-Regular, Swiss, SunSans-Regular; text-align: center }