body { font-size: 12pt; background: #dafeb6; padding: 0; margin: 0 auto }
h1 { text-align: center; margin: 0.3em; font-size: 1.8em }
h2 { text-align: center; margin: 0.3em; font-size: 1.3em }
h3 { text-align: left; font-size: 1em; margin: 1em 0 0; padding: 0 }
p  { text-indent: 12pt; line-height: 1.5;
     margin-top: 0.25em; margin-bottom:0.25em }
div { text-align: center }
div.link { text-align: center; font-size: 0.8em; border-bottom: solid 1px; padding-bottom: 5pt }
div.date { text-align: center; font-size: 0.8em; margin: 5pt 0; padding: 5pt 0 0; border-top: solid 1px }
div.header { text-align: left; font-size: 1em; margin: 5pt 0; padding: 5pt 0 0; border-top: solid 1px }
div.readme { text-align: center; font-size: 0.8em }
a  { text-decoration: none; color: blue }
a:hover { text-decoration: underline; color: #9932ee }
ul { margin-bottom: 1em 0; list-style-type: none }
ol { margin-bottom: 1em 0 }
li { margin-top: 0.5em; line-height: 1.3 }
table { margin: 0; padding: 0 }
th { text-align: left }
td { text-align: left; padding-left: 0.5em }
td.num  { font-size:1.1em; font-family: 'Times New Roman', Times; text-align: right; padding-left: 0 }
*.keyword { color: blue; background: yellow }
*.copy { font-family: 'Times New Roman', Times; color: blue }
*.emph { color: blue }
*.fin { font-family: 'Times New Roman', Times; font-size: 1.1em }
*.est { font-family: 'Times New Roman', Times; font-size: 1.1em }
*.swe { font-family: 'Times New Roman', Times; font-size: 1.1em }
*.rus { font-family: 'Times New Roman', Times; font-size: 1.1em }
*.deu { font-family: 'Times New Roman', Times; font-size: 1.1em }
*.eng { font-family: 'Times New Roman', Times; font-size: 1.1em }
*.lat { font-family: 'Times New Roman', Times; font-size: 1.1em }
*.phon { font-family: 'Arial Unicode MS','Lucida Sans Unicode', 'Lucida Grande'; color: blue }