BODY { color: #000000; background: #CCCCCC; }
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 }
.weight { font-weight: bold }
.Uweight { font-weight: bold; text-decoration: underline }
.emph { font-style: italic }