body { font-size: 12pt; background: #effa84; width: 400px; margin: 0 auto; padding: 5pt }
h1 { font-size: 1.6em; text-align: center; margin: 0; padding: 2pt 5pt }
h2 { font-size: 1.3em; text-align: center; margin: 0; padding: 2pt 5pt }
h3 { font-size: 1.0em; text-align: center; color: green; margin: 0; padding: 2pt 5pt }
h4 { font-size: 1.0em; text-align: left }
img { margin: 0; padidng: 0 }
p  { text-align: left; text-indent: 1em; line-height: 1.5; margin: 0; padding: 2pt 5pt }
a  { text-decoration: none; color: blue }
a:hover { text-decoration: underline; color: #aa5080 }
ul { list-style-type: none; margin: 0; padding: 5pt 0 5pt 1em }
ol { margin: 0 0 0 1em; padding: 5pt 0 5pt 1em }
li { line-height: 1.5; padding: 2pt }
div { text-align: center; padding: 5pt }
div.link { font-size: 0.8em; padding: 5pt; margin: 0; background: #ffffee }
div.date { font-size: 0.8em; margin: 0 }
div.copy { font-size: 0.8em; text-align: left; font-family: 'Times New Roman', Times; color: blue }
div.readme { text-align: center; color: blue }
div.bg { text-align: left; background: #ffffee; padding: 5pt 10pt }
p.bg { background: #ffffee; padding: 2pt 10pt }
table { margin: 0; padding: 0; border: 0 }
td { text-align: left; padding: 5pt }
td.num { font-family: 'Times New Roman', Times; text-align: right; padding-left: 0.5em }
*.source { font-weight: bold; font-style: italic }
*.keyword { color: blue; background: yellow }
*.emph { color: blue }
*.booktitle { color: #000000; font-style: italic }
*.fin { font-family: 'Times New Roman', Times; font-size: 1.1em; color: blue }
*.est { font-family: 'Times New Roman', Times; font-size: 1.1em; color: blue }
*.kar { font-family: 'Times New Roman', Times; font-size: 1.1em; color: blue }
*.hun { font-family: 'Times New Roman', Times; font-size: 1.1em; color: blue }
*.swe { font-family: 'Times New Roman', Times; font-size: 1.1em }
*.rus { font-family: 'Times New Roman', Times; font-size: 1.1em }
*.mar { font-family: 'Arial Unicode MS','Lucida Sans Unicode','Lucida Grande'; color: blue }
*.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 }
span.copy { font-family: 'Times New Roman', Times; color: blue }