body { font-family: Times New Roman; font-size: 1em; background: #dcffff; padding-left: 10%; padding-right:10% }
h1 { text-align: center; font-size: 1.8em; margin: 0; padding: 0.2em }
h2 { text-align: center; font-size: 1.3em; margin: 0; padding: 0.2em }
h3 { text-align: left; font-size: 1em; font-weight: normal; margin-top: 0.5em; margin-bottom: 0; padding-left: 1em }
td, th { padding: 0.2em }
p  { text-indent: 13pt; margin: 0; line-height: 1.2 }
a  { color: blue; text-decoration: none }
a:hover { color: #ee32aa; text-decoration: underline }
a img { border-width: 0 }
li { padding-top: 0.2em }
div { text-align: center }
div.link { font-size: 0.8em }
div.date { font-size: 0.8em }
div.copy { font-size: 0.8em; text-align: left; font-family: 'Times New Roman',Times; color: blue }
div.readme { font-size: 0.8em; color: blue }
td.num { text-align: right; font-family: 'Times New Roman',Times }
*.source { font-weight: bold; font-style: italic }
*.keyword { color: blue; background: yellow }
*.emph { color: blue }
*.booktitle { color: blue }
*.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 }
*.hun { font-family: 'Times New Roman',Times; font-size: 1.1em; color: blue }
*.swe { font-family: 'Times New Roman',Times; font-size: 1.1em; color: blue }
*.rus { font-family: 'Times New Roman',Times; font-size: 1.1em }
*.mar { font-family: 'Times New Roman',Times; font-size: 1.1em; color: blue }
*.deu { font-family: 'Times New Roman',Times; font-size: 1.1em; color: blue }
*.eng { font-family: 'Times New Roman',Times; font-size: 1.1em }
*.lat { font-family: 'Times New Roman',Times; font-size: 1.1em }