body { width: 700px; font-size: 12pt; background: #aaf5aa; padding: 0; margin: 0 auto }
h1, div.week, div.header { background: #80ee80 }
h1 { text-align: center; margin: 0; padding: 10pt 5pt; font-size: 1.4em }
h2 { text-align: center; margin: 0; padding: 0; font-size: 1.2em; background: #ccffcc }
h3 { text-align: left; margin: 0; padding: 3pt 0.5em; font-size: 1em; background: #ccffcc }
h4 { text-align: left; margin: 0; padding: 0.2em; font-size: 1em }
p  { text-indent: 1em; line-height: 1.5; font-size: 1em; background: #eefdee; margin: 0; padding: 5pt 1em }
div { text-align: center; margin: 0; padding: 0 }
div.week { text-align: left; text-indent: 1em; font-size: 1em; padding-top:5pt }
div.link { text-align: center; font-size: 0.8em; padding: 0 0 0 5pt; margin: 0 }
div.date { text-align: center; font-size: 0.8em; padding: 5pt 0; border-top: 1px solid }
div.header { text-align: left; font-size: 0.8em; padding: 2pt 0 0; margin: 0 }
div.readme { text-align: left; font-size: 1em; color: blue }
div.bg { text-align: left; background: #eefdee; margin: 0; padding: 2pt }
div.button { text-align:center; margin-top: 0; background: #eefdee }
a  { text-decoration: none; color: blue }
a:hover { text-decoration: underline; color: #9932ee }
a img { border-width: 0 }
h3 a { font-weight: normal }
ul { list-style-type: none; margin: 0 5pt 5pt; padding: 5pt 0 0 5pt }
ol { margin: 0 5pt 5pt 1em; padding: 5pt 0 0 1em }
li { line-height: 1.5 }
th { text-align: left }
td { text-align: right; padding-left: 0.5em }
td.star { color: red; font-family: 'Times New Roman', Times; text-align:right; padding-left: 2pt }
span.source { font-style: italic }
span.keyword { color: blue; background: #ffffdd }
span.booktitle { color: blue }
span.ruby { font-size: 0.8em }
span.copy { font-family: 'Times New Roman',Times; color: blue }
*.num { font-size:1.1em; font-family: 'Times New Roman',Times }
td.num { text-align: right; padding-left: 0 }
*.eng { font-family: 'Times New Roman',Times; font-size: 1.1em }
p.eng { line-height: 1.3 }
*.fin { font-family: 'Times New Roman',Times; font-size: 1.1em }
*.est { font-family: 'Times New Roman',Times; font-size: 1.1em; color: blue }
*.mar { font-family: 'Arial Unicode MS','Lucida Sans Unicode','Lucida Grande'; 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; color: blue }
*.deu { font-family: 'Times New Roman',Times; font-size: 1.1em; color: blue }
*.phon { font-family: 'Arial Unicode MS','Lucida Sans Unicode','Lucida Grande'; color: blue }
*.lat { font-family: 'Times New Roman',Times; font-size: 1.1em }
*.emph { color: blue }