body { background-color: #adffd4; font-size: 12pt; width: 600px; padding: 0; margin: 2pt auto }
h1 { text-align: center; font-size: 1.8em; margin: 0; padding: 5pt }
h2 { text-align: center; font-size: 1.3em; margin: 0; padding: 2pt }
h3 { text-align: center; font-size: 1em; margin: 0; padding: 2pt }
div { text-align: center; padding: 2pt; margin: 0 }
div.header { font-size: 0.8em; color: blue; text-align: left; border-top: solid 1px black; margin: 5pt 0 0; padding: 5pt }
div.link   { font-size: 0.8em }
div.date   { font-size: 0.8em }
div.bg     { text-align: left; background: #ddffdd }
p { text-align: left; text-indent: 1em; line-height: 150%; background: #ddffdd; margin: 0; padding: 2pt 1em }
a { text-decoration: underline; color: blue }
a:hover { text-decoration: underline; color: #9932ee }
a img { border-width: 0 }
table  { padding: 0; margin: 0 }
td, th { padding: 0; margin: 0 }
ul, ol { padding-left: 1em; margin: 0.2em 1em }
li { line-height: 1.3; padding: 0; margin-bottom: 1em }
span.copy { font-family: Times New Roman, Times; color: blue }
*.jap  { color: black; font-size: 1em }
*.est  { font-family: "Times New Roman"; font-size:1.1em }
*.fin  { font-family: "Times New Roman"; font-size:1.1em; color: blue }
*.deu  { font-family: "Times New Roman"; font-size:1.1em }
*.rus  { font-family: "Times New Roman"; font-size:1.1em }
*.swe  { font-family: "Times New Roman"; font-size:1.1em }
*.eng  { font-family: "Times New Roman"; font-size:1.1em }
*.lat  { font-family: "Times New Roman"; font-size:1.1em }
*.phon { font-family: "Lucida Sans Unicode"; font-size:1.1em; color: blue }
*.emph { color: blue }
*.copy