body { background: #ffffcc; padding: 2pt 10% }
h1 { text-align: center; font-size: 1.8em; margin: 0; padding: 0.5em }
h2 { text-align: center; font-size: 1.3em; margin: 0; padding: 0.5em  }
h3 { text-align: center; font-size: 1em; margin: 0; padding: 0 }
h4 { text-align: center; font-size: 1em; margin: 0; padding: 0 }
div { text-align:center }
div.link { font-size: 0.8em }
div.date { font-size: 0.8em; padding-bottom: 0.2em }
div.readme { font-size: 0.8em; color: blue; text-align: left; line-height: 1.5;
             text-indent: 1em; background: #fefff0; margin: 0 2em 0 2em; padding: 0.5em 1em 0.3em 1em }
div.copy { font-family: Times New Roman; font-size: 0.8em; color: blue; text-align: left }
div.stanza { font-size: 1.1em; text-align: left; padding-bottom: 1em }
p { text-indent: 1em; line-height: 150%; margin: 2pt }
a { text-decoration: none; color: blue }
a:hover { color: #aa1200; text-decoration: underline }
table { padding-top: 1em }
td { padding: 0.2em 1em }
li { line-height: 1.3; padding-bottom: 0.5em }
*.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 }
*.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: blue }