BODY { color: #000000 }
A:link { color: #0033FF }
A:visited { color: #000066 }
A:hover { color: #0066FF }
A:visited:hover { color: #0033CC }
A:active { color: #990066 }
IMG.right { float: right; border: 1px solid }
.huge { font-weight: bold; font-size: x-large }
.large { font-weight: bold; font-size: large }
.small { font-size: x-small }
.title { font-style: italic }
.volume { font-weight: bold }
.abstract { margin-left: 3em; margin-right: 3em }
.note { margin-left: 3em; margin-right: 3em }
.math { font-style: italic }
.vector { font-weight: bold }