body { padding-left: 10%; padding-right: 10%; background: #dafeee }
h1 { text-align: center; font-size: 1.8em; margin: 0; padding: 5pt }
h2 { text-align: center; font-size: 1.3em; margin: 0; padding: 5pt }
h3 { text-align: left; font-size: 1em; font-weight: normal; color: green; background: #a3ff9a;
     padding: 2pt 1em 2pt; margin: 0 0 5pt }
h4 { text-align: left; font-size: 1em}
div { text-align:center }
div.copy { font-family: Times New Roman; font-size: 0.8em; color: blue; text-align: left; border-bottom: solid 1px; padding-bottom: 5pt }
div.link { font-size: 0.8em; padding-bottom: 0.5em }
div.date { font-size: 0.8em; padding-top: 5pt; margin-top: 10pt; border-top: solid 1px }
div.author { padding: 5pt 0 10pt; margin: 10pt 0; border-bottom: solid 1px }
div.header { text-align: left; font-size: 0.8em; color: blue; padding: 2pt 10pt 5pt }
p { text-indent: 12pt; line-height: 1.5; margin: 5pt; font-size: 1em }
a       { text-decoration: underline; color: blue }
a:hover { text-decoration: underline; color: #bb32aa }
table { padding-top: 0.5em; padding-bottom: 0.5em }
td { padding-top: 0.1em; padding-bottom: 0.1em;
     padding-left: 0.2em; padding-right: 0.2em }
th { padding-top: 0.2em; padding-bottom: 0.2em;
     padding-left: 0.2em; padding-right: 0.2em }
ul,ol { margin-top: 0.2em }
li { margin: 0; line-height: 1.5 }
*.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 }
*.deu  { font-family: "Times New Roman"; font-size:1.1em }
*.fra  { 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 }
*.emph { color: black; font-weight: bold }
*.bibl  { font-family: "Times New Roman"; font-size:1.1em }
*.booktitle { font-style: italic }