body  { background:  #ffffc6 /*#dafeb6 #f0fff0 #def763 #ceefbd */;
        padding-left: 10%; padding-right: 10%; }
h1 { text-align: center }
h2 { text-align: center }
div { text-align:center }
div.link { font-size: 0.8em; padding-bottom: 0.5em }
div.date { font-size: 0.8em; padding-bottom: 0.5em }
div.copy { font-family: "Times New Roman"; font-size: 0.8em;
           color: blue; text-align: left; padding-bottom: 0.5em }
p { text-indent: 1em; margin: 5pt; line-height: 1.3 }
a       { text-decoration: none; color: blue }
a:hover { text-decoration: underline; color: #ab12ff }
table { padding-top: 1em }
td { padding-top: 0.2em; padding-bottom: 0.2em;
     padding-left: 1em }
ul,ol { margin-top: 0; padding-top: 0;  margin-bottom: 0.5em }
li { padding-top: 0.2em; padding-bottom: 0.2em }
.booktitle { font-family: "Times New Roman"; font-size:1.1em; font-style: italic }
.est  { font-family: "Times New Roman"; font-size:1.1em }
.fin  { font-family: "Times New Roman"; font-size:1.1em; color: blue}
.kar  { font-family: "Times New Roman"; font-size:1.1em; color: blue }
.udm  { 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;  color: blue }
.eng  { font-family: "Times New Roman"; font-size:1.1em }
.lat  { font-family: "Times New Roman"; font-size:1.1em }
.emph { color: brown; background: #dafeb6 }
.red { color: red }
blockquote { text-indent: 12pt; color:brown; background: #ceefbd; 
             padding: 0.5em }
blockquote.fin { margin-bottom: 0 }
blockquote.jap { margin-top: 0 }