body { background: #f7ffc6; padding-left: 10%; padding-right: 10%;
       color: brown }
h1   { text-align: center; padding: 0; margin: 0.5em }
td   { padding-left: 1em }
li   { padding-bottom: 0.5em }
p    { line-height: 1.5; text-indent: 1em }
div  { padding-top: 1em }
div.copy { font-family: 'Times New Roman', Times; font-size: 0.8em; 
           color: blue; padding-top: 0 }
div.link { color: blue; font-family: 'Times New Roman', Times; font-weight: bold;
           font-size: 0.9em; text-align: center }
div.index { color: blue; font-family: 'Times New Roman', Times; font-weight: bold;
           font-size: 1em; text-align: center; padding-top: 0 }
div.date { color: blue; font-weight: bold; font-size: 0.9em;
           text-align: center; padding-top:0.5em }
a       { color: blue; text-decoration: none }
a:hover { color: #00de2b; text-decoration: underline }
*.est      { font-family: 'Times New Roman', Times }
*.rus      { font-family: 'Times New Roman', Times }
*.lat      { font-family: 'Times New Roman', Times }
*.num      { font-family: 'Times New Roman', Times }
*.phon     { font-family: "Lucida Sans Unicode"; color: blue }
*.jap      { color: #000000 }
*.headword { font-family: 'Times New Roman', Times; font-size: 1.3em;
             font-weight: bold; color: blue }
*.current  { font-family: 'Times New Roman', Times;
             font-weight:bold; color:red }
*.emph { color: #ff1493 }
span.ref { color: #ff1493 }
span.pos, span.sem { color: #000000 }
span.snt { color: teal }
span.ref span.est { font-size: 1.2em }
span.est2  { font-family: 'Times New Roman', Times; font-size: 1.2em;
             color: blue }