html,body { color: black; background: white; width: 100%; margin: 0; padding: 0; font-family: arial }
a:link { color: #0033ff }
a:visited { color: #000066 }
a:hover { color: #0066ff }
a:visited:hover { color: #0033cc }
a:active { color: #990066 }

.LabHomePhoneSearch { background: #112244; color: white; height: 1ex }
.verline { width: 1px; background: #112244 }

a.cell:link, a.cell:visited { display: block; width: 100%; height: 100%;
  color: black; background-color: #c4d5ff; text-decoration: none }
a.cell:hover, a.cell:active, a.cell:visited:hover { display: block;
  width: 100%; height: 100%; color: black; background-color: #77aaff;
  text-decoration: none }
.tabMenu { border-collapse: collapse; border-spacing: 0px 0px; padding: 0px; background: white }
.tdMenu { border: 0px; padding: 1px 1px; font-size: large }

.WeAreHere { color: white; background: #112244 }
.Menu { display: block; white-space: nowrap; font-family: arial narrow,arial; 
padding: 3px; border: 0px solid #77aaff; }
.Menu2row { display: block; text-align: right; font-size: small }
.MenuArrow { float: right; color: white; font-size: small }

.sub1 .sub2 { display: none }
.sub1:hover .sub2 { display: block; position: absolute; z-index: 2 }
.sub1over .sub2 { display: block; position: absolute; z-index: 2 }

.FrontImage { width: 180px; height: 180px }

.ph128 { width: 128px; height: 176px; border: 1px solid }
.enormous {font-size: 28pt;}
.giant { font-size: xx-large;}
.huge { font-size: x-large }
.large { font-size: large }
.small { font-size: small }
.fn { font-size: x-small }
.tiny { font-size: xx-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 }
.emph { font-style: italic }
.article { color: #00008b }
.talktitle { color: #00008b; font-style: italic; }

.pd { font-weight: bold; color: #0000cc }
.st { font-weight: bold; color: #990099 }
.ul { font-weight: bold; color: #cc0000 }
.as { font-weight: bold; color: #00cc00 }
.vi { font-weight: bold; color: #000000 }
.af { font-weight: bold; color: #009999 }
.tp { color: #8B0000 }
.ws { font-size: normal; font-weight: bold; color: #00688B }
.nw { font-size: normal; font-weight: bold; color: #800000 }
.wt { font-size: normal; font-weight: bold; color: #800000 }
.dl { font-size: normal; font-weight: bold; color: #CD00CD }