body { font-size: 12pt; background: #aaf5aa; margin: 0; padding: 0 15% }
h1 { text-align: center; font-size: 1.8em; border-top: solid 1px; margin: 2pt 0 0; padding: 0.3em }
h2 { text-align: left; font-size: 1em; margin: 0; padding: 0.2em }
div { text-align: center }
div.link { font-size: 0.8em; text-align: center; padding-bottom:2pt; margin-bottom: 5pt; border-bottom: solid 1px }
div.date { font-size: 0.8em; text-align: center; margin-top:5pt; clear: both; border-top: solid 1px }
div.class { text-align: center; font-size: 0.8em }
div.readme { text-align: left; text-indent: 0; font-size: 0.8em; padding: 2pt 0 5pt }
p { text-indent: 1em; line-height: 150%; margin: 3pt; padding: 1pt }
p.quote { text-indent: 0; padding-left: 2em; line-height: 1.2; color: brown }
a { text-decoration: none; color: blue }
a:hover { color: #ab12ff; text-decoration: underline }
a img { border-width: 0 }
table { padding: 1em auto }
td, th { padding: 2pt }
ul { padding-top: 0.2em; text-align: left }
li { padding-top: 0.2em; padding-bottom: 0.2em }
*.est  { font-family: 'Times New Roman',Times; font-size:1.1em }
*.fin  { font-family: 'Times New Roman',Times; font-size:1.1em }
*.deu  { font-family: 'Times New Roman',Times; font-size:1.1em }
*.rus  { font-family: 'Times New Roman',Times; font-size:1.1em }
*.swe  { font-family: 'Times New Roman',Times; font-size:1.1em }
*.lat  { font-family: 'Times New Roman',Times; font-size:1.1em }
*.eng  { font-family: 'Times New Roman',Times; font-size:1.1em }
*.num  { font-family: 'Times New Roman',Times; font-size:1.1em }
*.copy { font-family: 'Times New Roman',Times; font-size: 0.8em; color: blue }
*.emph { color: red }
*.blue { color: blue }